[patch] add GCJ LOCAL note about character encoding aliases to System.java

[Tom Tromey]

>>>>> "Nathanael" == Nathanael Nerode <neroden@twcny.rr.com> writes:

Nathanael> This seems appropriate.  OK?
Nathanael> 	* java/lang/System.java: Add GCJ LOCAL note about encoding aliases.

Please check in, thanks.

Nathanael> (After this, I'll get to some hopefully desirable merging.  ;-) )

Cool.  A few things you might want to know:

* Michael Koch is dealing with java.net stuff, I generally just
  ignore it and let him do his thing.  Ditto java.nio.

* java.util.zip may never be completely merged, since we want to
  continue to use zlib.  There are some problems with the Classpath
  version last I looked (but it has been a while).  Some merging may
  still be desirable though.

* It isn't clear whether we want to import javax.xml.* from Classpath.

* Character and String are merged, but I don't know if the comments
  are in

Tom