Searching in docs/bugpattern/javadoc