tree 933504747d320d6a1c2ce18a718da0bbffa1d446
parent f745c256c649caa203462d7b1b2c0aeda0cc49fe
author Michael Rennie <mrennie> 1246306351 +0000
committer Michael Rennie <mrennie> 1246306351 +0000

clean up code / remove deprecated JDT core search engine code