I2JAV11 — IDL/Java: methods marked final in PortableServer.Servant

The Java language mapping says (p 1-89) that the following four
methods in PortableServer.Servant may be overridden by application
programmers:

_is_a, _default_POA(), _non_existent(), _get_interface().

The Java source files provided with the written spec. have all
these methods marked as final, so they cannot be overridden. While
the spec. says the source files are authoritative, this seems to
be a clear contradiction between text and code.

If the intention whether or not these methods may be overridden has
changed, this needs to be explained in the text (for application
programmers). Otherwise, it might just be an editorial issue, i.e.
the Java source files need to be corrected.

see below