public static void putDouble(String property,double val){
  SIMBRAIN_PREFERENCES.putDouble(property,val);
}

public static void putDouble ( String property , double val ) { SIMBRAIN_PREFERENCES . putDouble ( property , val ) ; }
set a property whose value is a double .
