This will help multi-jar compilers like Habanero.
Doesn't yet check well if all classes are actually found:
If a class is not found, may throw a NoClassDefFoundException
at the time the compiler is invoked.
Also refactored JarJDKToolsLibrary.search to make it
a bit easier to understand.