From 11d9c708fd7d5bcb4101cca3468f2d665a9e7b2c Mon Sep 17 00:00:00 2001
From: Rob Winch <rwinch@gopivotal.com>
Date: Wed, 11 Jan 2017 21:23:53 +0100
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 14a325c0..61ec2aaa 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"