checker/jtreg/stubs/issue2147/SampleEnum.java

import org.checkerframework.checker.tainting.qual.*;

public enum SampleEnum {
  FIRST,
  SECOND;
}