static synchronized void setpref(String prefname, String val) {
try {
if (prefs == null) prefs = Preferences.userNodeForPackage(Utils.class);
prefs.put(prefname, val);
} catch (SecurityException e) {
}
}
@Override
public void setURI(URI newValue) {
URI oldValue = uri;
uri = newValue;
if (preferences != null && newValue != null) {
preferences.put("projectFile", newValue.toString());
}
firePropertyChange(URI_PROPERTY, oldValue, newValue);
}