public void save(OutputStream out,String header) throws IOException {
  properties.store(out,header);
  dirty=false;
}

public void save ( OutputStream out , String header ) throws IOException { properties . store ( out , header ) ; dirty = false ; }
saves this preference store to the given output stream . the given string is inserted as header information .
