void () { doTest("import java.util.Date;" + "import java.text.DateFormat;" + "import java.text.SimpleDateFormat;" + "class C {" + " private static final SimpleDateFormat df = new SimpleDateFormat(\"yyyy-MM-dd\");" + " private String s = /*Access to non-thread-safe static field 'df' of type 'java.text.SimpleDateFormat'*/df/**/.format(new Date());" + "}"); }