Add in java module to allow for basic BDD-based LTLspec comparison for future regression testing