From fe7880328314c1706e7e4e97562894df04ab226a Mon Sep 17 00:00:00 2001
From: Ronak Buch <rabuch2@illinois.edu>
Date: Mon, 20 Sep 2021 15:27:50 -0400
Subject: [PATCH] Fix parsing of " followed by a space in sts file

---
 src/projections/analysis/StsReader.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/projections/analysis/StsReader.java b/src/projections/analysis/StsReader.java
index 9a2baceb..3155d712 100644
--- a/src/projections/analysis/StsReader.java
+++ b/src/projections/analysis/StsReader.java
@@ -123,7 +123,7 @@ private static String matchQuotes(StringTokenizer st) {
         }
 
         // If it starts and ends with a quote, then we've already matched
-        if (current.endsWith("\"")) {
+        if (current.endsWith("\"") && current.length() >= 2) {
             return current.substring(1, current.length() - 1);
         }