void () { doTest("import java.util.Date;" + "import java.text.DateFormat;" + "import java.text.SimpleDateFormat;" + "class MyClass {" + " private static final DateFormat F = DateFormat.getDateInstance();" + " public String getFormat() {" + " return /*Access to non-thread-safe static field 'F' of type 'java.text.DateFormat'*/F/**/.format(new Date());" + " }" + "}"); }