commit 119d13636e2b55e4489357ddb387559b879b6b01
author Nitin Dahyabhai <nitind@us.ibm.com> Thu May 16 10:10:43 2019 -0400
committer Nitin Dahyabhai <nitind@us.ibm.com> Thu May 16 10:10:43 2019 -0400
tree 48725c9c59c3e8410faaa3b5a5f00d48ddb73bab
parent d1ce572c92970e85fb1f5a35404d0c305deb3912

[546798] Add version 12 to the Java Facet extension

plugins/org.eclipse.jst.common.project.facet.core/plugin.xml

diff --git a/plugins/org.eclipse.jst.common.project.facet.core/plugin.xml b/plugins/org.eclipse.jst.common.project.facet.core/plugin.xml
index 0a0ede7..7e43733 100644
--- a/plugins/org.eclipse.jst.common.project.facet.core/plugin.xml
+++ b/plugins/org.eclipse.jst.common.project.facet.core/plugin.xml
@@ -115,6 +115,8 @@
     
     <project-facet-version facet="java" version="11"/>
 
+    <project-facet-version facet="java" version="12"/>
+
     <action facet="java" type="install" id="java.install">
       <delegate class="org.eclipse.jst.common.project.facet.core.internal.JavaFacetInstallDelegate"/>
       <config-factory class="org.eclipse.jst.common.project.facet.core.internal.JavaFacetInstallConfigFactory"/>