Submit a bug or feature Version 1.2 of Java Platform API Specification Java 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.