Fixed typ_cast_typ in Java/Syntax.v