Name: rlT66838 Date: 08/05/97


/*
C:>java BugChecker1
java.vendor: Sun Microsystems Inc.
java.version: 1.1.3
os.name: Windows 95
os.arch: x86

system property initalization bug: user.region system property should be
properly
 set to `KR' instead of `KO'
system property initalization bug: In Windows 95, user.timezone system property
is not initialized to the proper timezone, but to GMT.
*/

import java.util.*;

class BugChecker1
{
    public static void main(String[] args)
    {
        System.out.println( "java.vendor: " + System.getProperty("java.vendor")
);
        System.out.println( "java.version: " +
System.getProperty("java.version") );
        System.out.println( "os.name: " + System.getProperty("os.name") );
        System.out.println( "os.arch: " + System.getProperty("os.arch") );
        System.out.println();

        if ( System.getProperty("user.language").equals("ko") &&
             System.getProperty("user.region") != null &&
             System.getProperty("user.region").equals("KO") )
            System.out.println( "system property initalization bug: " +
                      "user.region system property should be properly set to
`KR' instead of `KO'" );

        if ( System.getProperty("user.timezone").equals("GMT") )
            System.out.println( "system property initalization bug: In Windows
95, " +
                      "user.timezone system property is " +
                      "not initialized to the proper timezone, but to GMT." );
    }
}


company - KAIST , email - ###@###.###
======================================================================