protected void openFile(File f){
  if (f == null) {
    return;
  }
  if (!f.exists()) {
    Debug.output("E00|" + getName() + ": missing file");
    return;
  }
  E00File=f;
  if (gui != null) {
    label.setText(E00File.getName());
  }
}

protected void openFile ( File f ) { if ( f == null ) { return ; } if ( ! f . exists ( ) ) { Debug . output ( "E00|" + getName ( ) + ": missing file" ) ; return ; } E00File = f ; if ( gui != null ) { label . setText ( E00File . getName ( ) ) ; } }
description of the method
