Update Exp1.java
Update CheckSTVisitor.java
Update CheckSTVisitor.java
Merge remote-tracking branch 'amthorn/master'

Conflicts:
	src/javaccproject/CheckSTVisitor.java
	src/javaccproject/Exp1.java