migrate

662Records/meta.xml

 <?xml version="1.0" encoding="utf-8"?>
 <task subatoId="662" id="RecordsExample" lang="Java" attempts="10">
   <name>Java 15 Records</name>
-  <evaluator>java15</evaluator>
+  <evaluator>java@java19</evaluator>
   <description>Erste Experimente mit Java 15</description>
   <files>
     <file public="true" type="template" path="Pair.java"/>

663Record/meta.xml

 <?xml version="1.0" encoding="utf-8"?>
 <task subatoId="663" id="663Record" lang="Java" attempts="5">
   <name>Ein Record für Date</name>
-  <evaluator>java15</evaluator>
+  <evaluator>java@java19</evaluator>
   <description>Die Date Klasse aus dem ersten Semester jetzt als Record.</description>
   <files>
     <file public="true" type="template" path="name/panitz/record/Date.java"/>

669Interpreter/meta.xml

 <?xml version="1.0" encoding="utf-8"?>
 <task subatoId="669" id="669Interpreter" lang="Java" attempts="5">
   <name>Interpreter einer While-Sprache</name>
-  <evaluator>java15</evaluator>
+  <evaluator>java@java19</evaluator>
   <description>Ein kleiner Interpreter über Ausdrücke, die als Record-Objekte vorliegen</description>
   <files>
     <file public="true" type="template" path="name/panitz/Interpreter.java"/>