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
