From 4c86f45c54fbeffc43cd56e9c973aabb97841634 Mon Sep 17 00:00:00 2001
From: William S Fulton <wsf@fultondesigns.co.uk>
Date: Sat, 15 Oct 2022 00:51:58 +0100
Subject: [PATCH] Fix for Java 7 - std::set and std::unordered_set

---
 Lib/java/std_set.i           | 4 ++++
 Lib/java/std_unordered_set.i | 4 ++++
 2 files changed, 8 insertions(+)

diff --git a/Lib/java/std_set.i b/Lib/java/std_set.i
index 73e0c2cf9..053866bc7 100644
--- a/Lib/java/std_set.i
+++ b/Lib/java/std_set.i
@@ -96,6 +96,10 @@ class set {
       public boolean hasNext() {
         return curr.isNot(end);
       }
+
+      public void remove() {
+        throw new java.lang.UnsupportedOperationException();
+      }
     }.init();
   }
 
diff --git a/Lib/java/std_unordered_set.i b/Lib/java/std_unordered_set.i
index 59726e94d..ddcedf052 100644
--- a/Lib/java/std_unordered_set.i
+++ b/Lib/java/std_unordered_set.i
@@ -92,6 +92,10 @@ class unordered_set {
       public boolean hasNext() {
         return curr.isNot(end);
       }
+
+      public void remove() {
+        throw new java.lang.UnsupportedOperationException();
+      }
     }.init();
   }