Das ist ja der Trick. Manchen WHDL Games muss man ein älteres/anderes Kickstart als das reale "gerade in Nutzung" vorgaukeln.
Und dieses lädt WHDL eben aus dem DEVS-Ordner.
Also:
WHDL braucht zum Betrieb Kick3.
Wenn WHDL aber ein Spiel laden soll, das zwingend 1.3 braucht, woher nehmen?!
Antwort: Aus der Kick-Datei in DEVS: