src/Pure/System/platform.scala

--- a/src/Pure/System/platform.scala	Wed Dec 22 11:52:57 2010 +0100
+++ b/src/Pure/System/platform.scala	Wed Dec 22 12:05:17 2010 +0100
@@ -53,6 +53,12 @@
   }
 
 
+  /* JVM name */
+
+  val jvm_name: String = java.lang.System.getProperty("java.vm.name")
+  val is_hotspot: Boolean = jvm_name.startsWith("Java HotSpot")
+
+
   /* Swing look-and-feel */
 
   private def find_laf(name: String): Option[String] =