framework/tests/framework/MatrixBug.java

import org.checkerframework.framework.testchecker.util.*;

public class MatrixBug {

  public char[][] chars = new char[][] {new char[] {'*', '*', '*'}, new char[] {'*', '*', '*'}};
}