!7

sclass SystemVersion extends DynTextArea {
  Int comp;
  
  void start {
    comp = compareTranspilationDateWithServer(progID);
    setText(linesLL(
      "Java version: " + javaVersion(),
      "JavaX version: " + javaxVersion(),
      "Stefan's OS version: " + formatTranspilationDate(creator()),
      "  On server: " + (comp == null ? "Unknown" : comp == 0 ? "SAME" : comp < 0 ? "NEWER" : "OLDER (?)")
    );
  }
  
  JComponent visualize() {
    ret centerAndSouth(super.visualize(),
      withMargin(jcenteredbuttons("Upgrade JavaX", disableAllButtonsWhileCalcing(r {
        setText("Upgrading JavaX...");
        _run(#1001639);
        dm_restartOS()
      }), "Upgrade Stefan's OS", r dm_restartOS)));
  }
}