JavaCompilerCore/resources/bytecode/javFiles/BB.jav

import java.lang.Integer;
import AA;

public class BB extends AA { }