[patch] use the classpath version for gjdoc as well

[Andrew Haley]

Matthias Klose wrote:
> $ gjdoc-4.4 --version
> java.lang.NullPointerException
>    at java.io.InputStreamReader.read(InputStreamReader.java:244)
>    at java.io.BufferedReader.fill(BufferedReader.java:370)
>    at java.io.BufferedReader.readLine(BufferedReader.java:469)
>    at java.util.Properties.load(Properties.java:203)
>    at java.util.Properties.load(Properties.java:380)
>    at gnu.classpath.tools.gjdoc.Main.getGjdocVersion(Main.java:1830)
>    at gnu.classpath.tools.gjdoc.Main.start(Main.java:1131)
>    at gnu.classpath.tools.gjdoc.Main.main(Main.java:883)
> 
> I don't see any version properties file in the tools.jar. The following patch
> does use the same method to get the version number as every other tool in
> classpath. Ok for the trunk and the branch?
> 
> 2009-06-13  Alexander Sack  <asac@jwsdot.com>
> 
>         * tools/gnu/classpath/tools/gjdoc/Main.java (start): Use
>         gnu.classpath.Configuration.CLASSPATH_VERSION as version number.
>         * tools/classes/gnu/classpath/tools/gjdoc/Main.class: Regenerate.

Fine by me.

Andrew.