if (verbose) System.err.println(message.getMessage()); throw new AbortException(message);
System.err.println(message.getSourceLocation()+": "+message.getKind()+" "+message.getMessage()); if (message.getKind() == IMessage.ERROR) throw new AbortException(message);
		public boolean handleMessage(IMessage message) throws AbortException {			if (!isIgnoring(message.getKind())) {				if (verbose) System.err.println(message.getMessage());				throw new AbortException(message);			}			return true;		}