Searching in java/java.disco/src