From d8386a8848a4ba71b9048c03c2a6010dac937352 Mon Sep 17 00:00:00 2001
From: JBM <jbm@codingame.com>
Date: Thu, 21 May 2020 21:58:45 +0200
Subject: [PATCH] CG expects Java agents in public class "Player" even when
 filename is Boss.java

This fixes the boss timeouts.
---
 PLAN.org         | 2 ++
 config/Boss.java | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/PLAN.org b/PLAN.org
index ed0f737..db53c65 100644
--- a/PLAN.org
+++ b/PLAN.org
@@ -6,3 +6,5 @@
 * DONE messages
 * TODO referee cleanup
 * DONE upgrade deps
+* TODO Timings
+* TODO fenceposts
diff --git a/config/Boss.java b/config/Boss.java
index 548c083..e1bcec3 100644
--- a/config/Boss.java
+++ b/config/Boss.java
@@ -1,7 +1,7 @@
 import java.util.Random;
 import java.util.Scanner;
 
-public class Boss {
+class Player {
     private final static String[] messages = {
         "meta⁵ @YannT ∷ (a → b) → f1 (f2 (f3 a)) → f1 (f2 (f3 b))",
         "By the power of Grayskull!",
-- 
2.30.2