From fd9c82050b85ca9fe33ee915923d7d837b8b0cdf Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Tue, 19 Jan 2021 23:32:46 +0100
Subject: [PATCH] Cut off more

---
 resources/CutOffObjectStreamClass.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/resources/CutOffObjectStreamClass.java b/resources/CutOffObjectStreamClass.java
index 4bc176a1..74bbb01e 100644
--- a/resources/CutOffObjectStreamClass.java
+++ b/resources/CutOffObjectStreamClass.java
@@ -14,3 +14,4 @@ final class Target_java_io_ObjectStreamClass {
 @TargetClass(className = "java.io.ObjectInputFilter")
 @Delete
 final class Target_java_io_ObjectInputFilter {
+}