510511512513514515516517518
} public ODictionary<Object> getDictionary() { checkOpeness(); if (dictionary == null) dictionary = new ODictionaryWrapper(this, underlying.getDictionary().getIndex()); return dictionary; }