Karsten - is too late to make changes to the wiki?
I want to add a note about how people should include the results of
"which java && java -version && which javac && javac
-version"
in all their java related bug reports. It's important to know what
alternative somebody is using before we start looking into problems with
Eclipse, etc.
AG