Searching in vmkit/mmtk/java/src/org/vmutil/options