From: JBM <jbm@codingame.com>
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=sidebyside;hp=d8386a8848a4ba71b9048c03c2a6010dac937352

CG expects Java agents in public class "Player" even when filename is Boss.java

This fixes the boss timeouts.
---