public void flushOptions() { if (prjName.compareTo("") == 0) return; String s = "qqq;"; for (int i = 0; i < projectOptions.length; i++) s += projectOptions[i] + ";"; prefs.setPref("prjOpt" + prjName, s); }