class GrinderProperties extends Properties {

  public final void setShort(String propertyName, short value) {
    setProperty(propertyName, Short.toString(value));
  }

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

}