publicclass Bug6912560 { publicstaticvoid main(String[] args) { // set the user.timezone property
String tzname = "Asia/Tokyo";
System.setProperty("user.timezone", tzname); // make sure the timezone will be initialized by // the next call to TimeZone.getDefault()
TimeZone.setDefault(null);
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.