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

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

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