code: public List<String> getPropertyNames() {
          ArrayList<String> names = new ArrayList<>(properties.keySet());
          Collections.sort(names);
          return names;
      }
docs: Return the list of property names which have values. Properties
  with default values are not returned.
  
  @return list of property names.