Searching in plugins/eclipse/jps-plugin/src