class GrinderProperties extends Properties {

  public final void setBoolean(String propertyName, boolean value) {
    setProperty(propertyName, String.valueOf(value));
  }

  public  GrinderProperties();
  public  GrinderProperties(File file);

}