Subject: bug#75440: dejagnu does not like java.io.Console of OpenJDK >= 22

From: Chris Nospam <[email-masked]>
Date: Tue, 14 Jan 2025 14:11:52 +0000

Unfortunately, I my previous mail I attached the old simple.zip file again. Here ist the new one.

Sorry for that.

Chris