manage JESVersion.java using Ant

Now, Ant automatically generates JESVersion.java by copying the
JESVersion.java.in file and replacing the @release@ etc. tokens, like
it does with README's. This means that the splash screen is always up
to date with the release packages.