Searching in test cases/java/6 codegen