public static int getGCSpyPort() {  return Options.gcspyPort; }
public static int getGCSpyPort() { return 0; }
  public static int getGCSpyPort() {    //Log.writeln("GCSpy.getGCSpyPort: ", gcspyPort_);    return Options.gcspyPort;  }