[DrJava] Time zone, etc

[Brian S. <bs...@bs...>]

OK, I figured out that the default ant Tstamp task does not commit to
using any particular time zone. This is bad.

To get around this, I wrote my own time stamping task that always uses
GMT. One consequence of this is that I had to update build-common.xml,
which is not usually updated when you do "ant update". (But it changes
infrequently enough that it's OK.)

So, you'll all need to do the following, in this order:

1) cd util
2) ant update compile
3) cd ..
4) cvs update build-common.xml
5) cd drjava
6) ant update compile

That will do it. (Note that you need to update/compile util before
updating build-common.xml, since build-common references the new task I
created, which is in util!)

Anyhow, now DrJava version stamps will always be in GMT, no matter what
machine it's set on.

-brian