Searching in eclipse/build-tools/doctool