(final String optionName, final int defaultValue)
| 721 | } |
| 722 | |
| 723 | private static int getPCGenOption(final String optionName, final int defaultValue) |
| 724 | { |
| 725 | return Integer.decode(getPCGenOption(optionName, String.valueOf(defaultValue))); |
| 726 | } |
| 727 | |
| 728 | public static String getPCGenOption(final String optionName, final String defaultValue) |
| 729 | { |