static int getNumberOfJavaXVMs() {
  ret countBotsNamed("This is a JavaX VM.");
}