fix notations of type inspection for Java7 (fixed #2)