405406407408409410411412413414415
if (repid.startsWith("IDL:")) { ByteString id = new ByteString(repid); try { int end = id.lastIndexOf(':'); ByteString s = end < 0 ? id.substring(4) : id.substring(4, end); ByteBuffer bb = new ByteBuffer(); //
390391392393394395396397398399400