Never mind - I completely overlooked the fact that there's another .ini file (FLaunch.ini) where you can change this. :) All fine now.
- [freenet-support] How to make use of Java 1.5.0 instead of 1.4.2 Level 13
- [freenet-support] How to make use of Java 1.5.0 instead of 1... Level 13
