JavaTXCompilerInJavaTXNoMaven/resources/bytecode/javFiles/Bug301.jav

import java.util.HashSet;

public class Bug301<A> extends HashSet<A> {
}