[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-4572) Add "Case Sensitive" option in propertie file filter