March 2, 2004
11:38 p.m.
Thanks for the heads-up. I'll propose something like the following in my next patch. <li><a href="http://joda-time.sourceforge.net/">Joda Time - Java date and time API</a> contains a class <code>org.joda.time.tz.ZoneInfoCompiler</code> that compiles <code>tz</code> source into a binary format that can be used by the rest of the Joda API. Joda Time is freely available under a BSD-style license.</li> PS. I wonder whether Joda Time can support Martian local time. See: Michael Allison and Robert Schmunk, "Technical Notes on Mars Solar Time as Adopted by the Mars24 Sunclock" <http://www.giss.nasa.gov/tools/mars24/help/notes.html> (2004-01-31).