!7 sclass SystemVersion extends DynTextArea { void start { setText(linesLL( "Java version: " + javaVersion(), "JavaX version: " + javaxVersion(), "Stefan's OS version: " + formatTranspilationDate(creator()) ); } JComponent visualize() { ret centerAndSouth(super.visualize(), withMargin(jcenteredbuttons("Upgrade JavaX", disableButtonWhileCalcing3(r { _run(#1001639); dm_restartOS() }), "Upgrade Stefan's OS", disableButtonWhileCalcing3(r dm_restartOS)))); } }