int options = 0;
if (!caseSensitive)
options |= Regexp.MATCH_CASE_INSENSITIVE;
Regexp regex = match.getRegexp(project);
Hashtable props = project.getProperties();
Enumeration e = props.keys();
StringBuffer buf = new StringBuffer();
int cnt = 0;
Vector used = new Vector();
while (e.hasMoreElements())
{
String key = (String) (e.nextElement());
if (regex.matches(key, options))
{
String output = select;
Vector groups = regex.getGroups(key, options);
int sz = groups.size();
for (int i = 0; i < sz; i++)
{
String s = (String) (groups.elementAt(i));
RegularExpression result = null;
result = new RegularExpression();
result.setPattern("\\\\" + i);
Regexp sregex = result.getRegexp(project);
output = sregex.substitute(output, s, Regexp.MATCH_DEFAULT);
}
if (!(distinct && used.contains(output)))
{
used.addElement(output);