Hotfix: (from @pb4) a dead player isn't granted an early termination
-rw-r--r-- 73 .gitignore
-rw-r--r-- 6838 PLAN.org
drwxr-xr-x - config
-rw-r--r-- 1679 pom.xml
drwxr-xr-x - src