JAL-3235 added the saveProperties call to setProperty method

diff --git a/src/jalview/bin/Cache.java b/src/jalview/bin/Cache.java
index f40fc61..6f9614e 100755 (executable)
--- a/src/jalview/bin/Cache.java
+++ b/src/jalview/bin/Cache.java
@@ -638,9 +638,7 @@ public class Cache
       oldValue = applicationProperties.setProperty(key, obj);
       if (!propsAreReadOnly)
       {
-        FileOutputStream out = new FileOutputStream(propertiesFile);
-        applicationProperties.store(out, "---JalviewX Properties File---");
-        out.close();
+        saveProperties();
       }
     } catch (Exception ex)
     {