From: JBM Date: Thu, 21 May 2020 19:58:45 +0000 (+0200) Subject: CG expects Java agents in public class "Player" even when filename is Boss.java X-Git-Url: https://troll.desast.re/troll.git/commitdiff_plain/d8386a8848a4ba71b9048c03c2a6010dac937352?ds=inline;hp=d8386a8848a4ba71b9048c03c2a6010dac937352 CG expects Java agents in public class "Player" even when filename is Boss.java This fixes the boss timeouts. ---