From dc974a13c117c1bb8dc6a20f5f3cabeaeb0df5b5 Mon Sep 17 00:00:00 2001
From: Wolfram Pfeifer <wolfram.pfeifer@kit.edu>
Date: Thu, 24 Oct 2024 16:35:28 +0200
Subject: [PATCH] added some annotations such that debug output with
 System.out.println typechecks

---
 src/main/java/universe/jdk.astub | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/main/java/universe/jdk.astub b/src/main/java/universe/jdk.astub
index 53eed64..7541079 100644
--- a/src/main/java/universe/jdk.astub
+++ b/src/main/java/universe/jdk.astub
@@ -1,5 +1,16 @@
 import universe.qual.Any;
 
+package java.io;
+
+class PrintStream {
+  public void print(@Any char[] s);
+  public void print(@Any String s);
+  public void print(@Any Object obj);
+  public void println(@Any char[] x);
+  public void println(@Any String s);
+  public void println(@Any Object x);
+}
+
 package java.lang;
 
 class Object {