public void list(PrintStream out){
  properties.list(out);
}

public void list ( PrintStream out ) { properties . list ( out ) ; }
prints the contents of this preference store to the given print stream .
