diff options
Diffstat (limited to 'releng/org.eclipse.emf.parent/plugins')
-rw-r--r-- | releng/org.eclipse.emf.parent/plugins/pom.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng/org.eclipse.emf.parent/plugins/pom.xml b/releng/org.eclipse.emf.parent/plugins/pom.xml index 533605197..5d3de4701 100644 --- a/releng/org.eclipse.emf.parent/plugins/pom.xml +++ b/releng/org.eclipse.emf.parent/plugins/pom.xml @@ -207,7 +207,7 @@ </executions> <configuration> <appArgLine>-consolelog -debug -application org.eclipse.ant.core.antRunner -data target/workspace -quiet -buildfile buildDoc.xml</appArgLine> - <executionEnvironment>JavaSE-1.8</executionEnvironment> + <executionEnvironment>JavaSE-11</executionEnvironment> <repositories> <repository> <id>juno</id> |