On this web page http://fisheye.jboss.org/browse/~raw,r=20419/JBossTools/trunk/documentation/whatsnew/jst/jst-news-3.1.0.CR1.html is used wrong link to jira record below part describing Properties Editor Filter new functionality adding Case Sensitive filter to properties editor.
There is link "Related Jira" pointing to https://jira.jboss.org/jira/browse/JBIDE-4771 instead of https://jira.jboss.org/jira/browse/JBIDE-4572. But also screenshot with Properties editor is confusing because finally in Properties editor is not used check box with label "Case sensitive" but instead is used check box with label "Expresion" as is described in related Jira JBIDE-4572