don't use old-fashioned Java version numbering

SethTisue · SethTisue · commit 62d546649b5d · 2017-04-18T14:24:30.000-05:00
diff --git a/src/main/scala/MakeDownloadPage.scala b/src/main/scala/MakeDownloadPage.scala
@@ -75,7 +75,7 @@ release_version: $version
 release_date: "${format("MMMM dd, yyyy")}"
 show_resources: "true"
 permalink: /download/$version.html
-requirements: "This Scala software distribution can be installed on any Unix-like or Windows system. It requires the Java runtime version 1.6 or later, which can be downloaded <a href='http://www.java.com/'>here</a>."
+requirements: "This Scala software distribution can be installed on any Unix-like or Windows system. It requires Java 6 or later, available <a href='http://www.java.com/'>here</a>."
 resources: [
   $resources
 ]

Original file line number	Diff line number	Diff line change
`@@ -75,7 +75,7 @@ release_version: $version`
`75`	`75`	`release_date: "${format("MMMM dd, yyyy")}"`
`76`	`76`	`show_resources: "true"`
`77`	`77`	`permalink: /download/$version.html`
`78`		`-requirements: "This Scala software distribution can be installed on any Unix-like or Windows system. It requires the Java runtime version 1.6 or later, which can be downloaded <a href='http://www.java.com/'>here</a>."`
	`78`	`+requirements: "This Scala software distribution can be installed on any Unix-like or Windows system. It requires Java 6 or later, available <a href='http://www.java.com/'>here</a>."`
`79`	`79`	`resources: [`
`80`	`80`	`$resources`
`81`	`81`	`]`