Currently using the instanceof operator can cause a class to be loaded. The runtime could check to see if the class was loaded, and if it was not the runtime would know there were no instances, and thus the object in question couldn't be an instance of that class.

Phil Milne observed this problem where many extra Swing classes were loaded due to an instanceof check. Fixing this could help footprint/startup time.