.PHONY: all

all: clean
	$(JAVAC) -processor org.checkerframework.checker.nullness.NullnessChecker Issue594.java > Out.txt 2>&1 || true
	diff  Expected.txt Out.txt

clean:
	rm -f Issue594.class Out.txt