use JAVA 8 for building documentation
diff --git a/plugins/org.eclipse.ldt.doc.user/pom.xml b/plugins/org.eclipse.ldt.doc.user/pom.xml
index 3be5612..000971e 100644
--- a/plugins/org.eclipse.ldt.doc.user/pom.xml
+++ b/plugins/org.eclipse.ldt.doc.user/pom.xml
@@ -51,6 +51,7 @@
 							<url>${eclipse-site}</url>
 						</repository>
 					</repositories>
+					<executionEnvironment>JavaSE-1.8</executionEnvironment>
 					<dependencies>
 						<dependency>
 							<artifactId>org.apache.ant</artifactId>