--- a/jv_libgdbs.st	Thu Jul 29 11:25:42 2021 +0100
+++ b/jv_libgdbs.st	Mon Sep 06 15:09:24 2021 +0100
@@ -124,7 +124,7 @@
         GDBDebugFlags
         GDBError
         GDBEvent
-        GDBEventSet
+        GDBEventSequence
         GDBEventSubscription
         GDBFeatures
         GDBInstructionDissection
@@ -182,7 +182,7 @@
         GDBUnsupportedFeatureError
         GDBBreakpoint
         GDBConsoleOutputEvent
-        GDBEventSetEvent
+        GDBEventSequenceEvent
         GDBExecutionEvent
         GDBExitEvent
         GDBFrame
@@ -316,8 +316,8 @@
         GDBBreakpointDeletedEvent
         GDBBreakpointEvent
         GDBCmdParamChangedEvent
-        GDBEventSetProcessingFinished
-        GDBEventSetProcessingStarted
+        GDBEventSequenceProcessingFinished
+        GDBEventSequenceProcessingStarted
         GDBLibraryLoadedEvent
         GDBLibraryUnloadedEvent
         GDBRunningEvent