* standard/make.java: Explicitly import kawa.lang.Record.

This avoids class with java.lang.Record introduced in Java 14.
1 job for master in 6 minutes and 7 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build And Test
failed #595943295
build_script

00:06:07

 
Name Stage Failure
failed
build_script Build And Test
  -e '(close-output-port out)'
#tdiff tmpP ./ppfile.out
make[1]: diff: Command not found
make[1]: *** [Makefile:691: check-ppfile] Error 127
make[1]: Leaving directory '/builds/kashell/Kawa/testsuite'
make: *** [Makefile:1443: check-recursive] Error 1
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1