> // user.timezone is empty > TimeZone old = TimeZone.getDefault(); // lets say en-US > TimeZone.setDefault(something); // lets say en-UK > ... > > TimeZone.setDefault(old); // restore the default en-US > > // now user.timezone is en-US (changed from nothing) as a side effect, > even though we restored what we did
I didn't inspect in detail what TimeZone does in standard JDK (if it resets the property on each setDefault or only if it's empty?). Feel free to file an issue -- we may look into it in the future. I don't think this is that crucial (?). Dawid --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
