--- kawa-3.1.1/gnu/lists/CharSeq.java	2022-03-23 07:28:50.571397841 +0100
+++ kawa-3.1.1/gnu/lists/CharSeq.java	2022-03-23 07:58:40.438303100 +0100
@@ -43,4 +43,7 @@
     throws java.io.IOException;
 
   public String toString();
+
+  @Override
+  public boolean isEmpty();
 }
--- kawa-3.1.1/kawa/standard/make.java	2022-03-23 07:28:50.623398157 +0100
+++ kawa-3.1.1/kawa/standard/make.java	2022-03-23 08:00:14.058873797 +0100
@@ -1,5 +1,6 @@
 package kawa.standard;
 import kawa.lang.*;
+import kawa.lang.Record; // avoid clash with java.lang.Record in Java 14
 import gnu.mapping.*;
 import gnu.expr.*;