Searching in vmkit/mmtk/java/src/org/jikesrvm