code: String getStringProperty(String name, String defaultValue) {
          String val = getProperty(name);
          if (val == null) {
              return defaultValue;
          }
          return val.trim();
      }
docs: default value.