forgot this file

diff --git a/Robust/src/ClassLibrary/TagDescriptor.java b/Robust/src/ClassLibrary/TagDescriptor.java
new file mode 100644 (file)
index 0000000..a17c3c5
--- /dev/null
+++ b/Robust/src/ClassLibrary/TagDescriptor.java
@@ -0,0 +1,6 @@
+/** This class is not to be used by the end user.  It's intended for
+ * internal use to keep track of tags. */
+
+private class TagDescriptor {
+    Object tagset;
+}