jbosstools/jbosstools-base — pull request #207 by scabanovich (2013-11-06 17:25:20+00:00)
Title: JBIDE-12646 web.xml servlet-name validation is not case-sensitive

Method EclipseResourceUtil.isContainedInOutput() is fixed to be
case sensitive.