From 9fe513b9503362720ee97b2e05d33df399cfd55c Mon Sep 17 00:00:00 2001 From: gmungoc Date: Wed, 20 Jun 2018 10:31:40 +0100 Subject: [PATCH] JAL-3032 load properties as "java.properties" --- src/jalview/util/MessageManager.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 -- 1.7.10.2