Is it possible (within KolMafia) to specify that a particular version of Java be used ? Just wondering, as at work we have various applications which use Java, and some can specify which version they want, whilst others just use the newest that is on the PC. Currently they have four java versions, which coexist happily (well, apart from the Java control panel, which only serves the most recent version), allowing a PC to have a recent Java whilst some older apps get to use an older version (1.4.2_02 is the oldest I think).
I'm uncertain how tricky (or possible) it would be to code, but might allow people to have Java 5 for KolMafia, whilst having Java 7 for general web use.
Generally your operating system determines which version of Java gets used. So if you want to force 1.5 for KoLmafia you should do so in a batch file or the equivalent for your system. mafia could detect the version being run and I poked at code that would do so, but the question is what do you do next? If someone chooses to run mafia with java 7, besides suggesting that they shouldn't, what else is to be done?