fixed POMs broken by excluding abstract and concurrency tests
added stateful classes which were extracted from their stateless counterparts, e.g. Unifier