(String attribute /*, String defaultValue */)
| 260 | // all the information from preferences.txt |
| 261 | |
| 262 | static public String get(String attribute /*, String defaultValue */) { |
| 263 | return table.get(attribute); |
| 264 | } |
| 265 | |
| 266 | |
| 267 | static public String getDefault(String attribute) { |
no test coverage detected