docs: private int convertInt(String input, int defaultValue) {
          try {
              return Integer.parseInt(input.trim());
          } catch (NumberFormatException nfe) {
              if (TraceComponent.isAnyTracingEnabled() && tc.isEventEnabled()) {
                  Tr.event(tc, "Malformed input: " + input);
              }
              return defaultValue;
          }
      }