Searching in eclipse/build_tools/doctool