@@ -37,10 +37,15 @@ */ public class ErrorManager { private boolean reported = false; + /** + * Create an {@code ErrorManager}. + */ + public ErrorManager() {} + /* * We declare standard error codes for important categories of errors. */ /**