Changes

#96 (May 28, 2024, 3:47:11 PM)

1. ipspiel24: adapted to changes in ObserverFactory interface — Christoph Schulz / detail

#81 (Apr 23, 2024, 6:12:12 PM)

1. ipspiel24: PMD deactivated for now (it does not work well with Eclipse anymore) — Christoph Schulz / detail