Another BDD implementation in Java