3 files changed, 16 insertions, 31 deletions
diff --git a/src/library/scala/util/Properties.scala b/src/library/scala/util/Properties.scala
index 02c461f3c6..8b63a73638 100644
--- a/src/library/scala/util/Properties.scala
+++ b/src/library/scala/util/Properties.scala
@@ -131,10 +131,9 @@ private[scala] trait PropertiesTrait {
   def javaVmName            = propOrEmpty("java.vm.name")
   def javaVmVendor          = propOrEmpty("java.vm.vendor")
   def javaVmVersion         = propOrEmpty("java.vm.version")
-  // this property must remain less-well-known until 2.11
-  private def javaSpecVersion       = propOrEmpty("java.specification.version")
-  //private def javaSpecVendor        = propOrEmpty("java.specification.vendor")
-  //private def javaSpecName          = propOrEmpty("java.specification.name")
+  def javaSpecVersion       = propOrEmpty("java.specification.version")
+  def javaSpecVendor        = propOrEmpty("java.specification.vendor")
+  def javaSpecName          = propOrEmpty("java.specification.name")
   def osName                = propOrEmpty("os.name")
   def scalaHome             = propOrEmpty("scala.home")
   def tmpDir                = propOrEmpty("java.io.tmpdir")
diff --git a/test/files/run/t7265.scala b/test/files/run/t7265.scala
deleted file mode 100644
index c556930303..0000000000
--- a/test/files/run/t7265.scala
+++ /dev/null
@@ -1,27 +0,0 @@
-
-import scala.util.Properties._
-
-object Test extends App {
-
-  setProp("java.specification.version", "1.7")
-
-  assert( isJavaAtLeast("1.5"))
-  assert( isJavaAtLeast("1.6"))
-  assert( isJavaAtLeast("1.7"))
-  assert(!isJavaAtLeast("1.8"))
-  assert(!isJavaAtLeast("1.71"))
-
-  failing(isJavaAtLeast("1.a"))
-  failing(isJavaAtLeast("1"))
-  failing(isJavaAtLeast(""))
-  failing(isJavaAtLeast("."))
-  failing(isJavaAtLeast(".5"))
-  failing(isJavaAtLeast("1.7.1"))
-
-  def failing(u: =>Unit) = try {
-    u
-    assert(false, "Expected Exception")
-  } catch {
-    case _: NumberFormatException =>
-  }
-}
diff --git a/test/pending/junit/scala/util/t7265.scala b/test/junit/scala/util/t7265.scala
index 3b8fa80dbe..71f085d21d 100644
--- a/test/pending/junit/scala/util/t7265.scala
+++ b/test/junit/scala/util/t7265.scala
@@ -30,6 +30,7 @@ class SpecVersionTest {
     assert(sut isJavaAtLeast "1.6")
     assert(sut isJavaAtLeast "1.7")
     assert(!(sut isJavaAtLeast "1.8"))
+    assert(!(sut isJavaAtLeast "1.71"))
   }
   @Test(expected = classOf[NumberFormatException])
   def badVersion(): Unit = {
@@ -40,6 +41,18 @@ class SpecVersionTest {
     sut isJavaAtLeast "1"
   }
   @Test(expected = classOf[NumberFormatException])
+  def noVersion(): Unit = {
+    sut isJavaAtLeast ""
+  }
+  @Test(expected = classOf[NumberFormatException])
+  def dotOnly(): Unit = {
+    sut isJavaAtLeast "."
+  }
+  @Test(expected = classOf[NumberFormatException])
+  def leadingDot(): Unit = {
+    sut isJavaAtLeast ".5"
+  }
+  @Test(expected = classOf[NumberFormatException])
   def notASpec(): Unit = {
     sut isJavaAtLeast "1.7.1"
   }