TestJavaCardDLJavaExtensions

22603      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key took 0 ms to parse. 
22603      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 140 ms. 
22603      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key took 0 ms to parse. 
22604      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 140 ms. 
22605      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key took 1 ms to parse. 
22605      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 141 ms. 
22607      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key took 1 ms to parse. 
22607      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 142 ms. 
22607      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key took 0 ms to parse. 
22607      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 142 ms. 
22608      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key took 0 ms to parse. 
22608      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 142 ms. 
22612      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key took 0 ms to parse. 
22612      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 142 ms. 
22613      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key took 0 ms to parse. 
22613      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 142 ms. 
22614      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key took 0 ms to parse. 
22614      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 142 ms. 
22615      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key took 0 ms to parse. 
22615      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 142 ms. 
22625      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key took 10 ms to parse. 
22625      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 152 ms. 
22626      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key took 0 ms to parse. 
22626      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 152 ms. 
22627      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key took 0 ms to parse. 
22627      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 152 ms. 
22627      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key took 0 ms to parse. 
22627      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 152 ms. 
22653      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/javacardDLExtensions/typeResolutionInMethodFrame.key took 0 ms to parse. 
22653      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 152 ms. 
23701      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse. 
23701      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 154 ms. 
25735      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/javacardDLExtensions/typeResolutionInMethodFrame2.key took 0 ms to parse. 
25735      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 154 ms. 
26771      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
26773      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 155 ms.