fix Variable declaration in substitution-java.k