(String attribute /*, int defaultValue*/)
| 321 | |
| 322 | |
| 323 | static public int getInteger(String attribute /*, int defaultValue*/) { |
| 324 | return Integer.parseInt(get(attribute)); |
| 325 | } |
| 326 | |
| 327 | |
| 328 | static public void setInteger(String key, int value) { |
no test coverage detected