code: public String get (String name, String def) {
          if (properties != null) {
              Object obj = properties.get (name);
              if (obj instanceof String)
                  return obj.toString();
          }
          return def;
      }
docs: Helper for a property
  @param name Property name
  @param def Default value
  @return Property value