@Override
	public void report(Diagnostic<? extends String> diagnostic) {
		String message;
		Kind kind;
		switch(diagnostic.getKind()){
		case ERROR:
			kind = Kind.ERROR;
			break;
		case MANDATORY_WARNING:
		case WARNING:
			kind = Kind.WARNING;
			break;
		case NOTE:
		case OTHER:
		default:
			kind = Kind.NOTICE;
			break;
		}
		message = diagnostic.getMessage(null);
		rawprintln(kind, message);
	}