/** Returns the array of Std_Fac names */
 public String[] getStdUses() {
   if (flags.isFlagSet(Main.FLAG_NO_STANDARD_IMPORT)) {
     return new String[0];
   } else {
     return stdUses;
   }
 }
 /**
  * Checks to see if the web interface flag is set or not.
  *
  * @return Results from the operation check
  */
 public boolean isWebIDEFlagSet() {
   return (flags.isFlagSet("webinterface") ? true : false);
 }
 public String[] getRemainingArgs() {
   return flags.getRemainingArgs();
 }