checker/tests/wpi-testchecker/non-annotated/InnerTypeTest3.java

public class InnerTypeTest3 {
  private int[] nums;

  private static byte[] buffer = new byte[4096];

  private static final char[] digits = {
    '0', '1', '2', '3', '4', '5', '6', '7', '8', '9', 'a', 'b', 'c', 'd', 'e', 'f'
  };
}