We dropped support for JDK7
Also, the JDK7 version actually did not work in 0.5.1.

RELNOTES: None
PiperOrigin-RevId: 160645551
diff --git a/site/docs/install-os-x.md b/site/docs/install-os-x.md
index d9a4d96..7845bde 100644
--- a/site/docs/install-os-x.md
+++ b/site/docs/install-os-x.md
@@ -73,27 +73,21 @@
 
 Go to Bazel's [GitHub releases page](https://github.com/bazelbuild/bazel/releases).
 
-Download the binary installer `bazel-0.5.1-installer-darwin-x86_64.sh`. This
+Download the binary installer `bazel-0.5.2-installer-darwin-x86_64.sh`. This
 installer contains the Bazel binary and the required JDK, and can be used even
 if a JDK is already installed.
 
-Note that `bazel-0.5.1-without-jdk-installer-darwin-x86_64.sh` is a version of
+Note that `bazel-0.5.2-without-jdk-installer-darwin-x86_64.sh` is a version of
 the installer without embedded JDK 8. Only use this installer if you already
 have JDK 8 installed.
 
-Note that two other versions of the installer exist:
-*   `bazel-0.5.1-without-jdk-installer-darwin-x86_64.sh`: version without
-    embedded JDK 8. Only use this installer if you already have JDK 8 installed.
-*   `bazel-0.5.1-jdk7-installer-darwin-x86_64.sh`: last release compatible
-    with JDK 7.
-
 ### 3. Run the installer
 
 Run the installer:
 
 <pre>
-chmod +x bazel-0.5.1-installer-darwin-x86_64.sh
-./bazel-0.5.1-installer-darwin-x86_64.sh --user
+chmod +x bazel-0.5.2-installer-darwin-x86_64.sh
+./bazel-0.5.2-installer-darwin-x86_64.sh --user
 </pre>
 
 The `--user` flag installs Bazel to the `$HOME/bin` directory on your system and
diff --git a/site/docs/install-ubuntu.md b/site/docs/install-ubuntu.md
index 3ba1690..4c0b99c 100644
--- a/site/docs/install-ubuntu.md
+++ b/site/docs/install-ubuntu.md
@@ -63,23 +63,21 @@
 
 Go to Bazel's [GitHub releases page](https://github.com/bazelbuild/bazel/releases).
 
-Download the binary installer `bazel-0.5.1-installer-linux-x86_64.sh`. This
+Download the binary installer `bazel-0.5.2-installer-linux-x86_64.sh`. This
 installer contains the Bazel binary and the required JDK, and can be used even
 if JDK is already installed.
 
-Note that two other versions of the installer exist:
-*   `bazel-0.5.1-without-jdk-installer-linux-x86_64.sh`: version without
-    embedded JDK 8. Only use this installer if you already have JDK 8 installed.
-*   `bazel-0.5.1-jdk7-installer-linux-x86_64.sh`: last release compatible
-    with JDK 7.
+Note that `bazel-0.5.2-without-jdk-installer-linux-x86_64.sh` also exist. It is
+a version without embedded JDK 8. Only use this installer if you already have
+JDK 8 installed.
 
 ### 3. Run the installer
 
 Run the installer:
 
 ```bash
-chmod +x bazel-0.5.1-installer-linux-x86_64.sh
-./bazel-0.5.1-installer-linux-x86_64.sh --user
+chmod +x bazel-0.5.2-installer-linux-x86_64.sh
+./bazel-0.5.2-installer-linux-x86_64.sh --user
 ```
 
 The `--user` flag installs Bazel to the `$HOME/bin` directory on your system and
diff --git a/site/docs/install.md b/site/docs/install.md
index 730a804..f519c94 100644
--- a/site/docs/install.md
+++ b/site/docs/install.md
@@ -29,19 +29,6 @@
 For more information on using Bazel, see
 [Getting Started with Bazel](getting-started.html).
 
-
-## <a name="jdk7"></a>Using Bazel with JDK 7
-
-Bazel version _0.5.1_ does run with JDK 7. However, starting with version
-_0.5.2_ Bazel must use JDK 8.
-
-The installers available for _0.5.1_ are:
-
-*  `bazel-0.5.1-installer.sh`: default version with embedded JDK
-*  `bazel-0.5.1-without-jdk-installer.sh`: version without embedded JDK
-*  `bazel-0.5.1-jdk7-installer.sh`: version compatible with JDK 7, will not be
-   available in later releases
-
 ## <a name="bash"></a>Getting bash completion
 
 Bazel comes with a bash completion script, which the installer copies into the