Update BVConstant.java