ConstSTO.java and rc.cup updates for const