package gov.nasa.jpf.test.test_classes.class_test;

import gov.nasa.jpf.test.java.lang.ClassTest;

public class DiffPkgProtectedSubClass extends ClassTest {
    public boolean assertData = true;

    protected DiffPkgProtectedSubClass() {
    }
}