A java application that tests if things have the commutative/associative property