remove unused class inst vars on GRGemStoneRandomProvider

Johan Brichau · Johan Brichau · commit deed35e89022 · 2022-01-16T17:50:54.000+01:00
diff --git a/repository/Grease-GemStone-Core.package/GRGemStoneRandomProvider.class/properties.json b/repository/Grease-GemStone-Core.package/GRGemStoneRandomProvider.class/properties.json
@@ -1,8 +1,7 @@
 {
 	"category" : "Grease-GemStone-Core",
 	"classinstvars" : [
-		"mutex",
-		"generator" ],
+		 ],
 	"classvars" : [
 		 ],
 	"commentStamp" : "",
