public static void main(String[] args)
public static void main(String s[])
  public static void main(String[] args)  {    PETScRund prun = new PETScRund();    try {      prun.start(args);    } catch (java.io.IOException ex) {;}  }