From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Wed, 20 Jun 2018 09:31:40 +0000 (+0100)
Subject: JAL-3032 load properties as "java.properties"
X-Git-Tag: Release_2_11_4_0~45^2~18^2~684^2
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=9fe513b9503362720ee97b2e05d33df399cfd55c;p=jalview.git

JAL-3032 load properties as "java.properties"
---

diff --git a/src/jalview/util/MessageManager.java b/src/jalview/util/MessageManager.java
index 3494181..66d8f9f 100644
--- a/src/jalview/util/MessageManager.java
+++ b/src/jalview/util/MessageManager.java
@@ -23,6 +23,7 @@ package jalview.util;
 import java.text.MessageFormat;
 import java.util.Locale;
 import java.util.ResourceBundle;
+import java.util.ResourceBundle.Control;
 import java.util.logging.Level;
 import java.util.logging.Logger;
 
@@ -52,7 +53,8 @@ public class MessageManager
       // Locale.setDefault(loc);
       /* Getting messages for GV */
       log.info("Getting messages for lang: " + loc);
-      rb = ResourceBundle.getBundle("lang.Messages", loc);
+      Control control = Control.getControl(Control.FORMAT_PROPERTIES);
+      rb = ResourceBundle.getBundle("lang.Messages", loc, control);
       if (log.isLoggable(Level.FINEST))
       {
         // this might take a while, so we only do it if it will be shown