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

This fixes the boss timeouts.

diff --git a/PLAN.org b/PLAN.org
index ed0f737..db53c65 100644 (file)
--- a/PLAN.org
+++ b/PLAN.org
@@ -6,3 +6,5 @@
 * DONE messages
 * TODO referee cleanup
 * DONE upgrade deps
 * 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 (file)
--- a/config/Boss.java
+++ b/config/Boss.java
@@ -1,7 +1,7 @@
 import java.util.Random;
 import java.util.Scanner;
 
 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!",
     private final static String[] messages = {
         "meta⁵ @YannT ∷ (a → b) → f1 (f2 (f3 a)) → f1 (f2 (f3 b))",
         "By the power of Grayskull!",