org.eclipse.jdt.core.tests.model/workspace/Converter/src/test0597/X.java

package test0597;

import junit.framework.Protectable;
import junit.framework.Test;

public class X {
    void m(Test t) {
        if (t instanceof Protectable) {}
    }
}