Declarative Programming in Java using JSetL