Value.java API changed. Now method getVariables() returns a Set<Variables>. (Avoid duplicate variables)