/** Loads a parameter set from an XML file opened by the user */
 void loadParameters() {
   String newFilename = experimentGUI.loadDialog(filename);
   if (newFilename != null && !newFilename.equals(filename)) {
     filename = newFilename;
     filenameChanged = true;
     loadDocNode();
   }
 }