Error messages of error-reporting-java