Define Type Checking In Java