codeql/java/ql/test/query-tests/DefineEqualsWhenAddingFields/MyFragment.java

public class MyFragment extends Fragment {
	// OK: super class enforces reference equality
	private int anotherField;
}