// "Add 'JUnit4' to classpath" "true" package x; public class DoTest4junit { @org.ju<caret>nit.Test void f() { } }