From 00d5d76833bc8edd93ec419d39fcee500ecc8b62 Mon Sep 17 00:00:00 2001
From: Rob Winch <rwinch@gopivotal.com>
Date: Wed, 11 Jan 2017 14:23:53 -0600
Subject: [PATCH] Fix Buildship import with eclipse.jdt.javaRuntimeName

See https://discuss.gradle.org/t/building-with-newer-jdks/21102
---
 gradle/ide.gradle | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/gradle/ide.gradle b/gradle/ide.gradle
index db9503a..f28e88d 100644
--- a/gradle/ide.gradle
+++ b/gradle/ide.gradle
@@ -5,6 +5,12 @@ import org.gradle.plugins.ide.eclipse.model.SourceFolder
 apply plugin: "propdeps-eclipse"
 apply plugin: "propdeps-idea"
 
+eclipse {
+	jdt {
+		javaRuntimeName = "J2SE-1.5"
+	}
+}
+
 eclipse.project.buildCommand "net.sf.eclipsecs.core.CheckstyleBuilder"
 eclipse.project.natures "net.sf.eclipsecs.core.CheckstyleNature"