(String attribute /*, String defaultValue */)
| 272 | // all the information from preferences.txt |
| 273 | |
| 274 | static public String get(String attribute /*, String defaultValue */) { |
| 275 | if (!initialized) { |
| 276 | throw new RuntimeException( |
| 277 | "Tried reading preferences prior to initialization." |
| 278 | ); |
| 279 | } |
| 280 | return table.get(attribute); |
| 281 | } |
| 282 | |
| 283 | |
| 284 | static public String getDefault(String attribute) { |
no test coverage detected