[PPL-devel] PPL's java interface

Dear all, Sorry for disturbing you again. But I find two problems in PPL's Java interface. 1. It seems there is no support for " Relation_Symbol.NOT_EQUAL " http://bugseng.com/products/ppl/documentation//devref/ppl-devref-java-interf... 2. Variable.id() is of type 'int', but Box.space_dimension() is of type 'long'. I don't think this is intended because, if I understand correctly, each variable id corresponds to one space dimension, right? If I am not wrong, what would be the work-around? Thanks for your ideas. Zell.