27 |
|
|
28 |
package java.util; |
package java.util; |
29 |
import java.text.DateFormatSymbols; |
import java.text.DateFormatSymbols; |
30 |
|
import gnu.classpath.Configuration; |
31 |
|
|
32 |
/** |
/** |
33 |
* This class represents a time zone offset and handles daylight savings. |
* This class represents a time zone offset and handles daylight savings. |
743 |
/* Look up default timezone */ |
/* Look up default timezone */ |
744 |
static |
static |
745 |
{ |
{ |
746 |
System.loadLibrary("javautil"); |
if (Configuration.INIT_LOAD_LIBRARY) |
747 |
|
{ |
748 |
|
System.loadLibrary("javautil"); |
749 |
|
} |
750 |
String tzid = System.getProperty("user.timezone"); |
String tzid = System.getProperty("user.timezone"); |
751 |
|
|
752 |
// XXX: Remove call to getDefaultTimeZoneId after java.lang.System |
// XXX: Remove call to getDefaultTimeZoneId after java.lang.System |