Combinatorial Search for Java