bb2c8909c34bc6e582f510271a2a673e188c5dff - gerrit/servertools/webtools.servertools

commit: bb2c8909c34bc6e582f510271a2a673e188c5dff
[log]
author: Nitin Dahyabhai <thatnitind@gmail.com>
Thu Jul 09 10:23:00 2020 -0400
committer: Nitin Dahyabhai <thatnitind@gmail.com>
Thu Jul 16 21:27:16 2020 -0400
tree: f23a5a6a83a09eb58b9162b02197e46bb77ba525
parent: ce0198da65a5a4d6ead1ef8c1e9862aa4f40b979 [diff]

[nobug] Fix spurious incompatible execution environment and source Errors

Signed-off-by: Nitin Dahyabhai <thatnitind@gmail.com>
Change-Id: Ic92ed9c9dc33d79aff36d0f6dc0ab7e98131214a

plugins/org.eclipse.jst.server.core/.classpath[diff]
plugins/org.eclipse.jst.server.preview.adapter/.classpath[diff]
plugins/org.eclipse.jst.server.tomcat.core/.classpath[diff]
plugins/org.eclipse.jst.server.tomcat.ui/.classpath[diff]
plugins/org.eclipse.jst.server.tomcat.ui/.settings/org.eclipse.jdt.core.prefs[diff]
plugins/org.eclipse.jst.server.tomcat.ui/META-INF/MANIFEST.MF[diff]
plugins/org.eclipse.jst.server.tomcat.ui/pom.xml[diff]
plugins/org.eclipse.jst.server.tomcat.ui/tomcatui/org/eclipse/jst/server/tomcat/ui/internal/ContextPublisherDelegate.java[diff]
plugins/org.eclipse.jst.server.tomcat.ui/tomcatui/org/eclipse/jst/server/tomcat/ui/internal/editor/ConfigurationMimeEditorSection.java[diff]
plugins/org.eclipse.jst.server.tomcat.ui/tomcatui/org/eclipse/jst/server/tomcat/ui/internal/editor/ConfigurationPortEditorSection.java[diff]
plugins/org.eclipse.jst.server.ui/.classpath[diff]
plugins/org.eclipse.wst.internet.monitor.core/.classpath[diff]
plugins/org.eclipse.wst.internet.monitor.core/.settings/org.eclipse.jdt.core.prefs[diff]
plugins/org.eclipse.wst.internet.monitor.ui/.classpath[diff]
plugins/org.eclipse.wst.internet.monitor.ui/.settings/org.eclipse.jdt.core.prefs[diff]
plugins/org.eclipse.wst.server.core/.classpath[diff]
plugins/org.eclipse.wst.server.http.core/.classpath[diff]
plugins/org.eclipse.wst.server.http.core/.settings/org.eclipse.jdt.core.prefs[diff]
plugins/org.eclipse.wst.server.http.ui/.classpath[diff]
plugins/org.eclipse.wst.server.http.ui/.settings/org.eclipse.jdt.core.prefs[diff]
plugins/org.eclipse.wst.server.preview.adapter/.classpath[diff]
plugins/org.eclipse.wst.server.preview.adapter/.settings/org.eclipse.jdt.core.prefs[diff]
plugins/org.eclipse.wst.server.ui/.classpath[diff]
tests/org.eclipse.jst.server.core.tests/.classpath[diff]
tests/org.eclipse.jst.server.tomcat.ui.tests/.classpath[diff]
tests/org.eclipse.wst.server.core.tests/.classpath[diff]
tests/org.eclipse.wst.server.ui.tests/.classpath[diff]

27 files changed

tree: f23a5a6a83a09eb58b9162b02197e46bb77ba525

docs/
features/
plugins/
site/
site-integration/
tests/
.gitignore
pom.xml
README.adoc