public void removeIndex(Index<?> index) throws EDBIndexException {
if (!indexExists(index.getName())) {
throw new IndexNotFoundException("Index " + index.getName() + " does not exist");
}
if (!(index instanceof JdbcIndex)) {
throw new EDBIndexException("Can only handle Index instances of type JdbcIndex, was " + index.getClass());
}
schemaMapper.drop((JdbcIndex) index);
deleteIndeInformation(index);