import java.text.SimpleDateFormat;
import java.util.Date;

public class JFR11Bug {

    public static void main(String[] args) {
        String pattern = "EEEEEE dd MMMM yyyy";
        SimpleDateFormat simpleDateFormat = new SimpleDateFormat(pattern);
        String date = simpleDateFormat.format(new Date());
        System.out.println(date);
        assert(date.contains("dinsdag"));
    }
}