JAV2I12 — Mapping remote interface types to RMI-style repository IDs

Summary: RMI remote interface types are currently mapped to IDL interfaces without
a #pragma ID, which means they have IDL-style repository IDs. This causes
problems when trying to locate a "best match" RMI stub for an IOR that
contains this format of repository ID. Because of the non-reversible
manglings from Java interface names to IDL interface names (inner classes,
leading underscores, and Unicode characters), there is no reliable
demangling from the IDL-style repid in an IOR to an RMI stub class name.

This can be fixed by using the RMI style of repid instead of the IDL style
of repid when mapping RMI remote interfaces to IDL, just as we currently
do for value types.

Closed, accepted