Rename CheckSTVisitor to CheckSTVisitor.java