141 /** |
141 /** |
142 * Get string from ResourceBundle, initialize ResourceBundle |
142 * Get string from ResourceBundle, initialize ResourceBundle |
143 * if needed. |
143 * if needed. |
144 */ |
144 */ |
145 private String getString(String key) { |
145 private String getString(String key) { |
146 ResourceBundle messageRB = this.messageRB; |
|
147 if (messageRB == null) { |
146 if (messageRB == null) { |
148 try { |
147 try { |
149 this.messageRB = messageRB = |
148 messageRB = ResourceBundle.getBundle( |
150 ResourceBundle.getBundle( |
|
151 "com.sun.tools.javadoc.resources.javadoc"); |
149 "com.sun.tools.javadoc.resources.javadoc"); |
152 } catch (MissingResourceException e) { |
150 } catch (MissingResourceException e) { |
153 throw new Error("Fatal: Resource for javadoc is missing"); |
151 throw new Error("Fatal: Resource for javadoc is missing"); |
154 } |
152 } |
155 } |
153 } |