package p; /** typecomment template*/ public class As { void f(){ I a= new A(); if (a instanceof A){ } else { } } }