static void unhideVM() {
  showConsole();
  set(javax(), 'hiddenVM, false);
  sendOpt("VM Lister.", "unhiding vm " + vmPort());
}