|
There are 2 problems with idea.project.jdkName setting at the moment:
- It never respects the client setting. This means that if someone manually changed the jdkName, his setting will be overridden every time idea task runs. This is quite painful (I have to always update it on my windows VM where I use jdk 7. This wore me out and hence I'm fixing this bug)
- Its default setting does not offer a good approximation of what the client has. At the moment, the default is sourceCompatiblity or '1.6'. The best approximation at the moment is to find out what is the current jvm and build a String out of that.
|