From 90a413a8cf57d937a8529651a2c688ba3fe4784c Mon Sep 17 00:00:00 2001
From: Ben Soares <bsoares@dundee.ac.uk>
Date: Wed, 4 Mar 2020 14:29:59 +0000
Subject: [PATCH] JAL-3235 added the saveProperties call to setProperty method

---
 src/jalview/bin/Cache.java |    4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/jalview/bin/Cache.java b/src/jalview/bin/Cache.java
index f40fc61..6f9614e 100755
--- 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)
     {
-- 
1.7.10.2