(String name, String defaultValue)
| 438 | |
| 439 | |
| 440 | private String getProperty(String name, String defaultValue) { |
| 441 | String value = LogManager.getLogManager().getProperty(name); |
| 442 | if (value == null) { |
| 443 | value = defaultValue; |
| 444 | } else { |
| 445 | value = value.trim(); |
| 446 | } |
| 447 | return value; |
| 448 | } |
| 449 | |
| 450 | |
| 451 | /** |
no test coverage detected