/** general routine to turn reference into id with object name */ public final boolean isCompressed(final int ref) { return isCompressed.elementAt(ref); }