class DisposableStoredSortedMap<K,V> extends StoredSortedMap<K,V> {
    final private static Logger LOGGER = 
        Logger.getLogger(DisposableStoredSortedMap.class.getName()); 
    protected Database db;
    
    public DisposableStoredSortedMap(Database db, EntryBinding<K> arg1, EntityBinding<V> arg2, boolean arg3) {
        super(db, arg1, arg2, arg3);
        this.db = db;
    }
    public DisposableStoredSortedMap(Database db, EntryBinding<K> arg1, EntityBinding<V> arg2, PrimaryKeyAssigner arg3) {
        super(db, arg1, arg2, arg3);
        this.db = db;
    }
    public DisposableStoredSortedMap(Database db, EntryBinding<K> arg1, EntryBinding<V> arg2, boolean arg3) {
        super(db, arg1, arg2, arg3);
        this.db = db;
    }
    public DisposableStoredSortedMap(Database db, EntryBinding<K> arg1, EntryBinding<V> arg2, PrimaryKeyAssigner arg3) {
        super(db, arg1, arg2, arg3);
        this.db = db;
    }

    public void dispose() {<FILL_FUNCTION_BODY>}
}

        String name = null;
        try {
            if(this.db!=null) {
                name = this.db.getDatabaseName();
                this.db.close();
                this.db.getEnvironment().removeDatabase(null, name);
                this.db = null; 
            }
        } catch (DatabaseException e) {
            LOGGER.log(Level.WARNING, "Error closing db " + name, e);
        } 
    
<no_super_class>