Nondeterministic Programming in Java with JSetL