public void setJava(Java java) {
int idx = Settings.JAVA.indexOf(java);
if (idx == -1) return;
this.java = java.getName();
Settings.save();
}
public String getJavaDir() {
Java j = getJava();
if (j.getHome() == null) return javaDir;
else return j.getJava();
}