sS javaxVirtualSpaceName() {
  ret dropPrefix("JavaX-Virtual" + fileSep(), userHomeSubDirName());
}