Integer slot = (Integer)stringLiterals.get(literal); if (slot != null) { int slotiv = slot.intValue(); return (String)getSlotContentsAsObject(slotiv);
Integer off = (Integer)stringLiterals.get(literal); if (off != null) { int offiv = off.intValue(); return (String)getSlotContentsAsObject(Offset.fromIntSignExtend(offiv));
  public static synchronized String findStringLiteral(VM_Atom literal) throws java.io.UTFDataFormatException {    Integer slot = (Integer)stringLiterals.get(literal);    if (slot != null) {      int slotiv = slot.intValue();      return (String)getSlotContentsAsObject(slotiv);    }    return null;  }