Small changes and javadoc for GraphSearch