#1117: Clear jvm settings less dangerous. I think I will move it to preferences instead. There is already a add/remove buttons.