From 218ef623b430addf368469221f85941b9f09936b Mon Sep 17 00:00:00 2001
From: unknown <ln3@njit.edu>
Date: Mon, 2 Oct 2023 20:00:08 -0400
Subject: [PATCH] add exception

---
 .../org/checkerframework/specimin/UnsolvedSymbolVisitor.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java b/src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java
index 2d31c731..707295be 100644
--- a/src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java
+++ b/src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java
@@ -343,7 +343,10 @@ public Visitable visit(Parameter parameter, Void p) {
     try {
       parameter.resolve().describeType();
       return super.visit(parameter, p);
-    } catch (UnsolvedSymbolException e) {
+    }
+    // If the parameter originates from a Java built-in library, such as java.io or java.lang,
+    // an UnsupportedOperationException will be thrown instead.
+    catch (UnsolvedSymbolException | UnsupportedOperationException e) {
       String parameterInString = parameter.toString();
       if (isAClassPath(parameterInString)) {
         // parameterInString needs to be a fully-qualified name. As this parameter has a form of