- in the future new JRE version will come up quite often - we should set up integration tests for new JRE releases as soon as possible - with the changes karl already did for supporting the current JRE versions is should no longer needed to do any manual changes to the code (e.g. properties files) for new JRE versions
stefan
