Submit a bug or feature Version 1.2 of Java Platform API SpecificationJava is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.Copyright 1993-1998 Sun Microsystems, Inc. 901 San Antonio Road,Palo Alto, California, 94303, U.S.A. All Rights Reserved.