svoid stefansOS_findMemoryLeaks() {
  fullScreenOff();
  stefansOS_dumpHeap();
  nohupJavax(#1016518 + " " + platformQuote(userHomeUnlessActual()));
}