time

Name: joT67522 Date: 09/02/97


/*
C:>java BugChecker3
java.vendor: Sun Microsystems Inc.
java.version: 1.1.3
os.name: Solaris
os.arch: sparc

TimeZone bug: Korean Standard Timezone `KST' is not supported.

<<< Solution >>>
% diff jdk1.1.3/src/java/util/TimeZone.java bugpatch113/java/util/TimeZone.java
279a280,281
> // KST is the ID for Korean Standard Time time zone.
> new SimpleTimeZone(9*millisPerHour, "KST"),

*/

import java.util.*;

class BugChecker3
{
    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();

        TimeZone koreanStandardTimezone = TimeZone.getTimeZone("KST");
        if ( koreanStandardTimezone == null )
            System.out.println( "TimeZone bug: Korean Standard Timezone `KST' is not supported." );
        else if ( koreanStandardTimezone.getRawOffset() != 9 * 60 * 60 * 1000 )
            System.out.println( "TimeZone bug: Korean Standard Timezone `KST' should be GMT + 9:00" );
    }
}


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