Searching in plugins/eclipse/src/org/jdom/output