Signature-Version: 1.0
SHA-256-Digest-Manifest-Main-Attributes: VspuTkK7+0kONYZyMYJeMgyKo0yIE
 8qOehiTNBEI/mc=
SHA-256-Digest-Manifest: pr9qF+9YW7DjRD0PGX8GI2vAOMNHgPbQnkCqi5AcDqs=
Created-By: 1.8.0_171 (Oracle Corporation)

Name: plugin.xml
SHA-256-Digest: wpVBqm6ufGiinf1Rvf65QQTYMMeGoxgunzdrSryUAfk=

Name: org/lamport/tla/toolbox/util/compare/MarkerComparator.class
SHA-256-Digest: AXzI/CTUmbRCHf1FweNcM6/IaIO0me/6/oLdfZjoCNM=

Name: org/lamport/tla/toolbox/spec/nature/ParserHelper.class
SHA-256-Digest: w4G0IZcdqvkfNb9GtNFGMr1oBvsgUlIIAX3QZHIM2NY=

Name: org/lamport/tla/toolbox/spec/parser/ModuleParserLauncher.class
SHA-256-Digest: fHAnGOx6b7ukzuaVdcbu8jg4hEGAfGK/XuvS+LbfYeo=

Name: org/lamport/tla/toolbox/spec/nature/TLANature.class
SHA-256-Digest: lLWY1+aMtySlfRJFKz7EYjZ+hkX6Ee+bKKWc+RQZ2t8=

Name: org/lamport/tla/toolbox/spec/Spec.class
SHA-256-Digest: CtgEWQyDfj7yLXdjFooWwQ14TJIZievKNajQdkZFaYk=

Name: org/lamport/tla/toolbox/ui/handler/ParseSpecHandler.class
SHA-256-Digest: VqIafbLvSAzPMd1wgEUYhhYDMcDmvAJN4nJam5s0BLU=

Name: org/lamport/tla/toolbox/util/UIHelper$NamedFileStoreEditorInput.
 class
SHA-256-Digest: vkDiYi4nT6HOB54hnz5e70QtLWhAOqCBOHlIWW8c9vU=

Name: org/lamport/tla/toolbox/ui/view/ProblemView$1.class
SHA-256-Digest: 1EBuHegA3fE9QQT0QRsnCsmXECwD4g2sz74zplecUeM=

Name: icons/full/obj16/start_ccs_task.gif
SHA-256-Digest: iQlpncLp7ukDnMr7JCayRb3esu/pxmQJj3mtwMNQMdI=

Name: org/lamport/tla/toolbox/util/pref/UnwantedPreferenceManager.clas
 s
SHA-256-Digest: LaaeipYNeUms8ejBTGnzsx05xMAJcUJVrfUj++Vfar8=

Name: org/lamport/tla/toolbox/ui/contribution/SizeControlContribution$
 1$1.class
SHA-256-Digest: i0DlhMC1nY0f4u5BNdysoOZHXEcqKc0sz/Q2/UaYJoc=

Name: org/lamport/tla/toolbox/util/ResourceHelper$ErrorMessageRunnable
 .class
SHA-256-Digest: v9Tkz7pzs6++JlE/yAsLeHtUol1nXeCmWpVy0D8fObI=

Name: org/lamport/tla/toolbox/util/StringSet.class
SHA-256-Digest: kL2fdMEjghbWiYsYXyyg6AnHuSCj0ufMG0RXDMpGpWE=

Name: icons/full/etool16/tla_launch_check_wiz_32.png
SHA-256-Digest: NQay9AE9FuEN+zQzq9X8Bk5/DozVtlzY7xRasap5UUs=

Name: org/lamport/tla/toolbox/ui/expression/CurrentSpecTester.class
SHA-256-Digest: G7Xaq0SQwsyzfm88VO13P/LMy769uwPsvlU0lZmZpZ8=

Name: org/lamport/tla/toolbox/ui/handler/RenameSpecHandler.class
SHA-256-Digest: S5/F6ZCX39XiCph/MD00lPEdkfHbmT5TPhctZ2yq0Ak=

Name: org/lamport/tla/toolbox/ui/view/ProblemView.class
SHA-256-Digest: B7s99RDBoxP0YHi5GKRFrzI6QGuFw3HfvUUJjHbLDZA=

Name: org/lamport/tla/toolbox/util/pref/PreferenceInitializer.class
SHA-256-Digest: vWKwxw9TfqWgTDelrKBoOdy/EjZX3ApKC6K2KNvkKQA=

Name: org/lamport/tla/toolbox/ui/preference/TranslatorPreferencePage.c
 lass
SHA-256-Digest: 10CSdGWLQaYQgM6XCddYc2I2Yo7rd7e2x1W3Lw6IQlc=

Name: org/lamport/tla/toolbox/ui/preference/LibraryPathComposite$4.cla
 ss
SHA-256-Digest: RryglptTDphsv8Fxrkt3IeCH3uLP+WRtvgRrF8Y5bLY=

Name: icons/full/etool16/tla_launch_check_wiz_16.png
SHA-256-Digest: KiPZUWX5QZjT97qFnj1L+hCRgSpyNSxf8rsH3ss4MiY=

Name: org/lamport/tla/toolbox/util/TLAMarkerResolutionGenerator.class
SHA-256-Digest: 3Uz4QAdV7sEK9eybbOVkyIJ2dX2I+ndUYAI8Ta+eMMI=

Name: org/lamport/tla/toolbox/Activator$1.class
SHA-256-Digest: jDbXDy7AFQkLexFLJTVnMHq4iAg/oQvXoyoWAWdUFOc=

Name: org/lamport/tla/toolbox/ui/property/GenericSelectionProvider.cla
 ss
SHA-256-Digest: 6IVDR33d4cWppbg3A/SFpE9ZwL69IwaA7bvIdKn6gUo=

Name: icons/full/ovr16/tla_ovr.gif
SHA-256-Digest: PGj157GN7xR2dzJd2Gnkqldsx2ah1V9xPGskRHBdyqY=

Name: org/lamport/tla/toolbox/ui/view/ProblemViewResourceListener$1.cl
 ass
SHA-256-Digest: 4opcrWdANa/nc/xoRYIXacLL7I3pwjsXnlD34OSKCvk=

Name: org/lamport/tla/toolbox/util/TLAMarkerHelper$1$1.class
SHA-256-Digest: cve4ZwpAG4OltPCtTvRgWfTMVCi4Se2kp1gez2FcE6k=

Name: icons/full/ovr16/volatile_co.gif
SHA-256-Digest: 6pUxnwMEUPCaAbUDGgt4KDP61O2ZQb/g2XNfi5sUyro=

Name: org/lamport/tla/toolbox/ui/preference/SWTFactory$1.class
SHA-256-Digest: IxnlkgEsIH8KwfXb8XHHnsaCX1HhTaKvbwlZ97fFgyc=

Name: org/lamport/tla/toolbox/ui/view/PDFBrowser.class
SHA-256-Digest: 6pMVKYf0ui6kCRCWok5ANIbwNYKK8knGlP4wGByhBzw=

Name: org/lamport/tla/toolbox/ui/handler/ParseSpecHandler$1.class
SHA-256-Digest: Kob1a7XP+1OCOUvYAQczQ4XOQ9SSVs67uZWiH0LpnrI=

Name: org/lamport/tla/toolbox/job/NewTLAModuleCreationOperation.class
SHA-256-Digest: DPK6c8NL4Dpd6ia3+XwY+Q8WuWQMOVz0YzdhVM8UMMc=

Name: org/lamport/tla/toolbox/ui/preference/LibraryPathComposite$9.cla
 ss
SHA-256-Digest: uBAlBomRI+skN+mPtGEWqx7nfGY0aTTc8Zu6d0PbbKY=

Name: icons/full/etool16/history_list.gif
SHA-256-Digest: Zubgm2RNLTZgDivBmU8pnZCslDbXmI6t6zCFEOBrcxI=

Name: org/lamport/tla/toolbox/util/e4/E4HandlerWrapper$E4Handler.class
SHA-256-Digest: Ab0n+ObQAA40oKa6I4lYOipahJlDO96TmZ+pgzKTaOU=

Name: org/lamport/tla/toolbox/tool/SpecEvent.class
SHA-256-Digest: FR09u4sgavRbe45AmjtI0TSOT/MckW1YpfH/bg7oO14=

Name: icons/full/prop_ps.gif
SHA-256-Digest: udLCkDQEa2QErvWAyUN0p9L6qAVmmh/2Mr88HN+4BMc=

Name: org/lamport/tla/toolbox/ui/handler/NewSpecHandler$NewSpecHandler
 Job$2.class
SHA-256-Digest: PpH8bfnlFZchhD1JSVj5O8WOftvBDEGYWWye+cpBV40=

Name: org/lamport/tla/toolbox/ui/handler/SwitchPerspectiveHandler$1.cl
 ass
SHA-256-Digest: cMy1zfc4LFxZjWx3Q9lmBFGQ3C1Lce/Oi0NZahl7j2k=

Name: org/lamport/tla/toolbox/ui/property/ModulePropertyPage.class
SHA-256-Digest: EfEPSVGZ2bNYYoyl9Ef4JAkXluoe8UWiOLEppjYvVq4=

Name: icons/full/etool16/new_module_wiz.gif
SHA-256-Digest: yS929FUcEeMc9boBKdYi3BwYqE+Kg5NPlcifEXpf4o8=

Name: org/lamport/tla/toolbox/ui/preference/GeneralPreferencePage.clas
 s
SHA-256-Digest: b3DnwFWbS/jYFFVqvOT5Z4D+R7YVGzhOtPW0YUVAfTc=

Name: org/lamport/tla/toolbox/ui/handler/OpenSpecHandler$1.class
SHA-256-Digest: kuOJkjcXgZm92b/DM5cVm6iKZJFo89xVabTk1NkvahM=

Name: icons/full/eview16/console_view2.gif
SHA-256-Digest: XYQqZlpjP79mntj+DhvF51simCGX/8ov4GrwyWMvY2M=

Name: org/lamport/tla/toolbox/ui/view/ProblemViewResourceListener.clas
 s
SHA-256-Digest: aQykRHWRkZpLD9iQKWWIBhNTG1Pjuit3f0fFL3X02NU=

Name: org/lamport/tla/toolbox/spec/parser/IParseConstants.class
SHA-256-Digest: 94EG2iCmcBiNxEmWmG9YQJT37kqGwg6R89zwq0CKL8g=

Name: icons/full/etool16/nav_go.gif
SHA-256-Digest: PTqKB6C7OpfZuBAUGEpNQMg7ORbselLTWYGoyjc+Dvo=

Name: org/lamport/tla/toolbox/ui/view/ProblemView$2.class
SHA-256-Digest: aESeIwNx48fQBew/rYHqLh7i1KL6DvfKNGQA1oYdcfk=

Name: org/lamport/tla/toolbox/util/UIHelper$1.class
SHA-256-Digest: ctr47n40r0wpLB8UeJ+pwgCtX726gkxS07H0f1xfZ64=

Name: icons/full/etool16/tla_launch_check_wiz.gif
SHA-256-Digest: fZdBVYegFWRc2f+F2/E8k5u56DIeMtr32sk4CbWuEEo=

Name: org/lamport/tla/toolbox/util/UIHelper.class
SHA-256-Digest: TZnsAM+DIhkNhY4wclfhM0ChqPcFrw2fy0Cmy9wg8xY=

Name: org/lamport/tla/toolbox/spec/nature/TLAParsingBuilder$OutOfBuild
 SpecModulesGatheringDeltaVisitor.class
SHA-256-Digest: FlZvI1Q0pWyI1elY6FT5GoOnL4Sn/la3eA2eXp0fopI=

Name: icons/full/etool16/ignore.gif
SHA-256-Digest: 8akmTqwgAIj+L6F+NyY63cYtG1ZFGNV/2vCBR4zAOr4=

Name: org/lamport/tla/toolbox/ui/preference/LibraryPathComposite.class
SHA-256-Digest: wys9xnVRjarIveSHEF4QmG6w0ud60s7FjEE6dk1O4sw=

Name: org/lamport/tla/toolbox/ui/preference/LibraryPathComposite$3.cla
 ss
SHA-256-Digest: uYPuNbS0Ph18X0HDL/o6EYxpbHx9rbEbZGyPHVkxEx8=

Name: org/lamport/tla/toolbox/ui/handler/OpenViewHandler.class
SHA-256-Digest: mPTXRnXnskBnLS1eWHuJAhOGKAlZjAykjjFR1xwuH6s=

Name: org/lamport/tla/toolbox/tool/IParseResult.class
SHA-256-Digest: wMOAKqjwaCqNmWaD3IVQjhg78+Uri1Tpstd1SHfnZXk=

Name: org/lamport/tla/toolbox/ui/dialog/InformationDialog.class
SHA-256-Digest: 17UnJNGcG2DGx9aLW8VUrSjbyHzF13HMszv68G4EMPU=

Name: icons/full/obj16/prj_obj@2x.png
SHA-256-Digest: iePbyujn3NDKu4657EBE4EcT68fmKTuGlnS57Vv/PrY=

Name: org/lamport/tla/toolbox/ui/handler/RenameSpecHandler$SpecNameVal
 idator.class
SHA-256-Digest: 0LaZwDzoNNuxO/jWbLgLj6vpfMEYNYJkua1uAk+NZtE=

Name: org/lamport/tla/toolbox/util/UIHelper$5.class
SHA-256-Digest: QgIBtAP497zXgZdZckpsGn7AoqnV4TpcELbLX1Ks2kM=

Name: org/lamport/tla/toolbox/ui/preference/LibraryPathComposite$6.cla
 ss
SHA-256-Digest: aGwYjKp/jR5kNbCBqsm5oXODOwskyESJ/eZvk66QBLo=

Name: org/lamport/tla/toolbox/util/AdapterFactory.class
SHA-256-Digest: NnCWmafQaPUn+xDY629linY1sajQrGAj6IeHcnh0VvA=

Name: org/lamport/tla/toolbox/util/UIHelper$2.class
SHA-256-Digest: sDLKyT/V3vKakVD3Vnmg5vcHGTYEzxZoMqQ0mFLfdAI=

Name: icons/full/etool16/tla_prj_obj.gif
SHA-256-Digest: 2hE3vynUWIhbnMUJFn3cODcSCX/F+z7GCsSAJjjkjs8=

Name: icons/full/newmodule_wiz.gif
SHA-256-Digest: tVgl54jMOA3LziFThil3gFRbxbnIGKJg7E4dBt1yBzs=

Name: org/lamport/tla/toolbox/ui/contribution/SpecListContributionItem
 .class
SHA-256-Digest: 1qF2ji3FSOut/KLf7UZeAC7ZwjHcfxnL3nfALdq9fLw=

Name: org/lamport/tla/toolbox/ui/handler/OpenViewHandler$1.class
SHA-256-Digest: 3Z6po5jWrCIXfCFpScLGPBGU4uH2roam6sVPl7dfsrY=

Name: helpContexts.xml
SHA-256-Digest: X92m90RsfGncd8PplF/GtcednwvpMDsZDo4rgh+L3BM=

Name: org/lamport/tla/toolbox/ui/handler/ModulePropertiesHandler.class
SHA-256-Digest: vaRULJB6zKLktPZEBhUwPRVWhM4VEqghAGddNyYlVD8=

Name: org/lamport/tla/toolbox/ui/wizard/NewSpecWizard.class
SHA-256-Digest: 3/Z9TUj0tTKiyce1v18najY6xXSBYfl4o+3ePUtEEr4=

Name: org/lamport/tla/toolbox/util/TLAtoPCalMarker.class
SHA-256-Digest: S2vjm9Q6GcARsKnV2fPMcxsVkOHpa0hZzaQLCFmNJhg=

Name: icons/full/etool16/tla_obj.gif
SHA-256-Digest: dtSTXDqJAcrojZwRHXacuOiQK+3nigNlZy01H3WdoK0=

Name: org/lamport/tla/toolbox/ui/navigator/ToolboxExplorerResourceList
 ener.class
SHA-256-Digest: PhB61YwVewiU4JZAKMPs8WFAu27JKePipuP3+b6MEmo=

Name: org/lamport/tla/toolbox/ui/handler/DeleteSpecHandler$1.class
SHA-256-Digest: GEN7hjnSclAi9bGTk2HI01Vg/w/SXIeErGgpRDrooFE=

Name: org/lamport/tla/toolbox/ui/preference/LibraryPathComposite$Table
 ColumnLabelProvider.class
SHA-256-Digest: HbqlSkLFEVq83mqQ/luzJLs4MdGYg2F1X5cE0jx/rUc=

Name: org/lamport/tla/toolbox/ui/contribution/ModuleListContributionIt
 em.class
SHA-256-Digest: kCKtGZowxq7a+HY6tmw4j84U1KSJNF/jrC8Yc4JPNxk=

Name: org/lamport/tla/toolbox/ui/handler/ParseSpecHandler$2.class
SHA-256-Digest: CT/YYpcuieBjDX/DcGTrSnbhjdEFoFB5o0bRIDDXtfc=

Name: org/lamport/tla/toolbox/job/NewTLAModuleCreationOperation$1.clas
 s
SHA-256-Digest: R2/+zRD7/71ds/itBwYvpVEw25ve+V+e+mbUTfFyp1o=

Name: org/lamport/tla/toolbox/ui/contribution/ParseStatusContributionI
 tem$1.class
SHA-256-Digest: Y98q44/8+PACglOPKy3ywRAJbNz0MGRl52n28ECgqog=

Name: org/lamport/tla/toolbox/ui/wizard/NewSpecWizardPage$3.class
SHA-256-Digest: RJPrXnxJoMzv+x7R6aPhOo0GxO1My94QpXRF755Rh6Y=

Name: icons/full/etool16/tla_launch_check_wiz_64.png
SHA-256-Digest: hesSDHMYSFWCbj8FHegLRxf3FRPsByA66L8Q8cthlgI=

Name: org/lamport/tla/toolbox/ui/handler/HelpHandler.class
SHA-256-Digest: rKWCJWJXV4fG/9mrbDODsZAvq16dbGiNuMtoVs9MCIE=

Name: org/lamport/tla/toolbox/util/UIHelper$3.class
SHA-256-Digest: FxXvjOkxXKhAu+9XlJAiJ6drfQVkaD+OPEEsZWqtrZo=

Name: org/lamport/tla/toolbox/ui/property/GenericFieldEditorPropertyPa
 ge.class
SHA-256-Digest: GnlkUi2L8pnIaOHcC4rIyaLiaVU+s9jaeWZYtlsLvy8=

Name: org/lamport/tla/toolbox/util/AdapterFactory$SpecWorkbenchAdapter
 .class
SHA-256-Digest: fAeAd2TYiN8erIhi3GgKvUpqr5NbYAJwA1g72BguL3Y=

Name: org/lamport/tla/toolbox/spec/parser/ParserDependencyStorage.clas
 s
SHA-256-Digest: A5KuaDWm2MuZR/pfRNTPmpt9CDOvmWvRcdwuKxHnR0o=

Name: org/lamport/tla/toolbox/ui/contribution/SizeControlContribution$
 1$2.class
SHA-256-Digest: /RJdHJI+H8ccVOZgzrZQtJvs56AIaLraK6xeGAcsIhI=

Name: org/lamport/tla/toolbox/util/TLAMarkerHelper$2.class
SHA-256-Digest: k7KzUS147LaslhUpxrr/1iICDLKOkcnCu9TxGA97K7g=

Name: org/lamport/tla/toolbox/ui/contribution/ParseStatusContributionI
 tem$2.class
SHA-256-Digest: hE8A7cwavZSvfIPXvCJcFiQsoOV80pleEsGh20LvhHM=

Name: org/lamport/tla/toolbox/spec/parser/ModuleParserLauncher$1.class
SHA-256-Digest: pR/lQaTuBNUzJ+Qlqob8f2483b7izkn1N5lluFDHmqg=

Name: images/splash_small.bmp
SHA-256-Digest: peYIxCzM43qklSIR1WIDyILMKtODMdUEo3ptBkC1szw=

Name: icons/full/etool16/nav_stop.gif
SHA-256-Digest: 4HjmLy/wbMe7OFNyzW1bPM29VqYwFSx5TpmNxfBx4Eg=

Name: org/lamport/tla/toolbox/ui/handler/RenameSpecHandler$1.class
SHA-256-Digest: QWRySalMTIlIFYeAp138vKusl93XZh2DtPOJ+X0eoyA=

Name: org/lamport/tla/toolbox/ui/wizard/NewSpecWizardPage.class
SHA-256-Digest: EAaMRNsPs16x2g8p6ARWNZNYlYcHRFTk4XwX90Cv5rA=

Name: org/lamport/tla/toolbox/ui/contribution/ParseStatusContributionI
 tem.class
SHA-256-Digest: /hd/rzww3ddRZORgDyyVEcD5zfNzJtYcbeF6atRILIk=

Name: org/lamport/tla/toolbox/ui/wizard/NewSpecWizardPage$4.class
SHA-256-Digest: Xjom2EurW7UxE6dm/XAwVRSGL2vLoo+9LvPBVedpYbI=

Name: org/lamport/tla/toolbox/util/UIHelper$4.class
SHA-256-Digest: YegITqvMcEMjHyx7baZxZYNtNlx5yN5M7L4cRg2We9I=

Name: org/lamport/tla/toolbox/ui/handler/SaveDirtyEditorAbstractHandle
 r.class
SHA-256-Digest: 7tCvMB7M2d9QJGknzlqkKD1H5LlAT7tCNb0auXs8oGk=

Name: org/lamport/tla/toolbox/ui/handler/OpenModuleHandler$1.class
SHA-256-Digest: x2txHHuSAJQ80ne+dWTeJeNIUFJBJonxX0cU8HrFlPA=

Name: org/lamport/tla/toolbox/util/RCPNameToFileIStream.class
SHA-256-Digest: XyrBIWAaBUhsu0G2ONqaDKC00aAXlCj82phHAbFgYBQ=

Name: org/lamport/tla/toolbox/util/compare/ResourceNameComparator.clas
 s
SHA-256-Digest: hU5OaE9xhAb8uMPqPMN3/XlXjDTWJFcB/RzfHHIYDNc=

Name: org/lamport/tla/toolbox/ui/provider/ToolboxLabelProvider.class
SHA-256-Digest: T62itKwEGp401kSQYVQqMxAsEWPxduZG+dXmLaianSo=

Name: org/lamport/tla/toolbox/util/TLAMarkerHelper$1.class
SHA-256-Digest: CU1iE79HjUa83ycC7OA9ApCM2NiQ7sq6qh1Xer5bWGs=

Name: icons/full/newspec_wiz.gif
SHA-256-Digest: 9TG3uL6G+xyR3lB31f8TzzfvGlFzNAkkYvAy6k7qynw=

Name: org/lamport/tla/toolbox/spec/nature/TLAParsingBuilderConstants.c
 lass
SHA-256-Digest: 6OlBWvBtRPFu7/vE/j5Yzxc4kMN8RqHkvqoQwiSod1w=

Name: org/lamport/tla/toolbox/ui/preference/LibraryPathComposite$5.cla
 ss
SHA-256-Digest: Dt1xbKI8ohfoETuzXa86NSONiG+osZowHt5UMHaOPG0=

Name: org/lamport/tla/toolbox/spec/nature/ParserHelper$2.class
SHA-256-Digest: 2dckaR2UOSCLycNbeFOikmYdBCKjK/xB27oXFliqUyU=

Name: org/lamport/tla/toolbox/util/e4/E4HandlerWrapper.class
SHA-256-Digest: wvXCZ5MgZzJ77a12JAs/6nCJQFPQeDnluNbvs8Q13+8=

Name: org/lamport/tla/toolbox/ui/preference/LibraryPathComposite$7.cla
 ss
SHA-256-Digest: HzSYMq+jYg0l24+1H/t7jrHG0nK3nvbtSu1FHmTwADM=

Name: org/lamport/tla/toolbox/ui/preference/SWTFactory.class
SHA-256-Digest: nFavSZeaePzI5PtBK1JaasVDiB+Gha++Q1HUlJYRnmw=

Name: org/lamport/tla/toolbox/ui/preference/EditorPreferencePage.class
SHA-256-Digest: julsW7SwudBvppbruZtDsyhVxzDc/QnIGiO2nrBqeSI=

Name: org/lamport/tla/toolbox/util/HelpButton$HelpWindowDisposeListene
 r.class
SHA-256-Digest: AclDoZvZLgF54YJGczqhVzaJr3zD/Xil1u8qaaOi8Uk=

Name: org/lamport/tla/toolbox/ui/perspective/InitialPerspective.class
SHA-256-Digest: oX2+0D0YWF7N9SQr4Y7SI3m2mAptr4HyNHQ0drrH6V0=

Name: org/lamport/tla/toolbox/ui/handler/DeleteSpecHandler.class
SHA-256-Digest: 1u0eSOJkML0uS49VLO9wbdaYrqF3dDQvae3bsh7kBOs=

Name: org/lamport/tla/toolbox/spec/parser/ParseResult.class
SHA-256-Digest: d3Fwl0Z9xiNQJ2ONhJd0TSZWxmpg3d7WlcfySHUEpbw=

Name: org/lamport/tla/toolbox/ui/navigator/ToolboxExplorer.class
SHA-256-Digest: 25juEX0+WFZudXQwFBJ4KqkEkFP4dm/2JqYP5TqXRSE=

Name: org/lamport/tla/toolbox/ui/wizard/NewSpecWizardPage$2.class
SHA-256-Digest: 5shpvYmJcpJFksu4ys272clTDqBEW9QAdDNal0pn0R0=

Name: org/lamport/tla/toolbox/ui/expression/ParseErrorTester.class
SHA-256-Digest: iwxidgWiJu6XPvfT+w39Z1RN6W2iOOBOBZLIdfgbmrk=

Name: org/lamport/tla/toolbox/ui/handler/PropertiesHandler.class
SHA-256-Digest: N1Qr5Dt+yALJBD2fw/yh4cKIEux0bndywyfZsD3/J/M=

Name: icons/full/etool16/tla_launch_check_wiz.svg
SHA-256-Digest: WUWF3hZ5sHSACL/C7uW4nffJ0344pSA0esURhgflkws=

Name: org/lamport/tla/toolbox/ui/handler/ForgetSpecHandler.class
SHA-256-Digest: 7S6fSVbPQVFL32pe+bqr9n+Jb9J+0fMALP/thMXNtN0=

Name: org/lamport/tla/toolbox/util/pref/IPreferenceConstants.class
SHA-256-Digest: ikfge3PctZBqM4WSgPfhETEpanl85G2a4gXg/HLAlzg=

Name: org/lamport/tla/toolbox/spec/manager/ISpecManager.class
SHA-256-Digest: 7UnzfbBOsd7W4LNZzTgZZEY78qkOUv4IA2MYGHxxZtg=

Name: icons/full/etool16/new_project_wiz.gif
SHA-256-Digest: aOuZZ9iwty/Qj17gDXy9hinVefnM+9xlhYah+ardtC0=

Name: org/lamport/tla/toolbox/ui/contribution/ParseStatusContributionI
 tem$2$1.class
SHA-256-Digest: DowzbUfdWzgDRHWxuuYEddZw88LUWi8Z9GCEPRICf0w=

Name: icons/document-pdf.png
SHA-256-Digest: yAcsb3pjOhoTR+TyvzZvB+zC0lu7GsEMuAYYemG/RpM=

Name: org/lamport/tla/toolbox/spec/nature/ParserHelper$1.class
SHA-256-Digest: WYMo3wA5o7PH8a5OXQ01e5/ECCiRbGfxEq95u1Kq5jY=

Name: org/lamport/tla/toolbox/util/FontPreferenceChangeListener.class
SHA-256-Digest: fMs2K/njuO1qtt2DQAbic6doAS20Lz4yeM1J+Qr7ZCs=

Name: org/lamport/tla/toolbox/ui/view/PDFBrowserEditor.class
SHA-256-Digest: i/zmiaUb3rvz5P7Y3hz+Gjb55tkUnnbKgIsS6jp6yxw=

Name: org/lamport/tla/toolbox/ui/handler/ParseModuleHandler.class
SHA-256-Digest: kBv4phn+6DCiW3+SdFQY0JgVBU+z+JOUFGaM0YgJCWw=

Name: org/lamport/tla/toolbox/util/SpecLifecycleManager.class
SHA-256-Digest: 0lCiqe6OJnFuvQrE8UPDnVEnZN6Pkc7241NUqIdNBVM=

Name: icons/full/etool16/tla_launch_check.gif
SHA-256-Digest: pdNfxD1mKLQFH72c2xapTJkvQuBY1eHPuQPDhCfbNJk=

Name: icons/full/refresh.gif
SHA-256-Digest: ul5skZnq9BA0JMfsP65FteAx3TjlbH0ge8TfKlGW+7Q=

Name: org/lamport/tla/toolbox/ui/handler/RefreshSpecHandler$1.class
SHA-256-Digest: xZ4hSFxt/5mzkxHZexwJy3YcvWNAohcG+L1iIwgJnWw=

Name: org/lamport/tla/toolbox/OpenFileManager.class
SHA-256-Digest: c2BG2VV0WnkcI3TAj9TeF/pAt0YOt8aKfvyN+B33TrI=

Name: org/lamport/tla/toolbox/util/LegacyFileDocumentProvider.class
SHA-256-Digest: Y/+i/tl9r/7RvPqedkeZl8xFVwHxjEBfR/i9bSEBP+w=

Name: org/lamport/tla/toolbox/spec/manager/WorkspaceSpecManager.class
SHA-256-Digest: HAfVmZWkrEKDKXmJYQTHlLf5WvgLKr2gzliMvGFlUxo=

Name: org/lamport/tla/toolbox/ToolboxDirectoryVisitor.class
SHA-256-Digest: WK4DSAUoaK2w1KCQ9m8RLvlpk5v39xbTaqR+7yf1Kwk=

Name: org/lamport/tla/toolbox/util/TLAMarkerResolutionGenerator$DummyM
 arkerResolution.class
SHA-256-Digest: GMFLzKBz5SCqalNhK0nbTHNQurFkGN7GkLm1fUmJpeY=

Name: org/lamport/tla/toolbox/ui/handler/SaveDirtyEditorAbstractHandle
 r$SaveMessageDialog.class
SHA-256-Digest: N2m4WeW+20oEh13EOm98AjGKWLcJQMaHI5bBEl8jGJw=

Name: org/lamport/tla/toolbox/util/SpecLifecycleManager$1.class
SHA-256-Digest: zZkRXOVULIiydagi/VBoxsr7Fz8Oh85ZmeLTNKeCqto=

Name: org/lamport/tla/toolbox/ui/handler/OpenParseErrorViewHandler.cla
 ss
SHA-256-Digest: YBHamW94LdVkSVCFMv2hgaz+PAoB4etC3Tx/LPqjNrQ=

Name: org/lamport/tla/toolbox/ui/handler/ForgetSpecHandler$1.class
SHA-256-Digest: HFzaWmuJqDV6pQZsqMANbIWl09ZhfE/LlFYgOM7BuBU=

Name: org/lamport/tla/toolbox/util/TLAMarkerHelper.class
SHA-256-Digest: DWq5ROW7c8b5uhmRO1W3aZhcVPUydyAtncr4ceXa22g=

Name: org/lamport/tla/toolbox/tool/ToolboxHandle.class
SHA-256-Digest: UKPTFeHLF/wciSuwkG1Mf11f/Kf6T6rzOZMEpSbOCTA=

Name: org/lamport/tla/toolbox/ui/handler/NewSpecHandler$NewSpecHandler
 Job$1.class
SHA-256-Digest: rvHAVr5YkEaEWdDssXuKzPmc871Aw2NhryzqOh+07+c=

Name: icons/full/obj16/warn_tsk.gif
SHA-256-Digest: E9osrZgZMcaP8kL1quVj9TWsShSieH0/5z/TFB7uZxc=

Name: icons/full/obj16/prj_obj.png
SHA-256-Digest: 5X7e+SGo8f6p6rMVKKK9mBlHH3IJDK+Pkj6/YvzYsDI=

Name: icons/full/etool16/test.gif
SHA-256-Digest: 4EHRcBABgE3yEF6poHAlfwfHn4smmzdmoevgXK99A4I=

Name: org/lamport/tla/toolbox/ui/preference/LibraryPathComposite$1.cla
 ss
SHA-256-Digest: 5BOkZlQSxmh0pLwJziHjSPkY8eCd415/WKkp0wOwU4w=

Name: icons/full/obj16/cprj_obj@2x.png
SHA-256-Digest: Z+yB11c8JL1xo4KNcFCf0+BkIpsFGD2kmj80gURciXY=

Name: org/lamport/tla/toolbox/util/HelpButton$HelpButtonListener$2.cla
 ss
SHA-256-Digest: qtX30zdMoN11WCpMV2auDZtKgmFI+wkaar+CWPxE4QA=

Name: icons/full/obj16/spec_obj.gif
SHA-256-Digest: TaoPoRnC9+dHeW9S5RyhAtz9xNwYvonOGwQdO63L1tA=

Name: org/lamport/tla/toolbox/util/HelpButton.class
SHA-256-Digest: wsnV3U0tIkN1bAkeNYt+pRc+BAhFH21c/wSM9w95Bnw=

Name: org/lamport/tla/toolbox/spec/parser/SpecificationParserLauncher.
 class
SHA-256-Digest: LyLY8JcTH8qMxF7hQO9SXLajRd5tMSO2+AO0/nwHlF4=

Name: icons/full/obj16/file_obj.gif
SHA-256-Digest: avcyFcqnNdAkI+bn1adqmmzwLKCTPEdEk64L/sTzelE=

Name: org/lamport/tla/toolbox/ui/property/GenericSelectionProvider$1.c
 lass
SHA-256-Digest: t4LuAUPyXmnuveg7dVMeqmoCqveiRd2UoZDaV5yteeU=

Name: org/lamport/tla/toolbox/spec/parser/IParseResultListener.class
SHA-256-Digest: 7HcT44l882MrNqSc3j5gBy+6uOVLgCFh8IdRLejjdcA=

Name: icons/full/obj16/error_tsk.gif
SHA-256-Digest: zRHAxMd2khoU858mpIArcdd8gs3FnVMLhMg8ugvE6OA=

Name: icons/full/obj16/externalize.gif
SHA-256-Digest: 4+qblphGuNYV4e5NmVwlp4B3abHg12QjCrjSRxYA3BU=

Name: org/lamport/tla/toolbox/spec/parser/ParseResultBroadcaster$1.cla
 ss
SHA-256-Digest: VnHxqVjBTEoSUV1Afl8rooJHax7vUCnt2ArkidkI8bs=

Name: org/lamport/tla/toolbox/util/HelpButton$HelpButtonListener$1.cla
 ss
SHA-256-Digest: zfcOHPMTH8qp+JCKb4yyj6fzz7/pxhouN0w7uaCGNg8=

Name: org/lamport/tla/toolbox/ui/provider/SpecContentProvider$Group.cl
 ass
SHA-256-Digest: yp6ScIy/QXxi+Vh+K2HCek/Vj0W7cxCdoJ29fXPafNQ=

Name: org/lamport/tla/toolbox/ui/preference/LibraryPathComposite$2.cla
 ss
SHA-256-Digest: sYKcPTmM6y8NEEUkfcGCY/t3n7UCJ+GAEYzf0CbWTrk=

Name: org/lamport/tla/toolbox/util/pref/ResourceBasedPreferenceStore.c
 lass
SHA-256-Digest: yr92dwk0tkGwiwKJCa+bmiMtSzOzIQFxAHwD6lLxX74=

Name: org/lamport/tla/toolbox/ui/perspective/SpecLoadedPerspective.cla
 ss
SHA-256-Digest: xF8ZLCR75G14tjdr4yTmgAIRp1oKZPDTiYaolBcCb4U=

Name: org/lamport/tla/toolbox/tool/SpecLifecycleParticipant.class
SHA-256-Digest: jSHWGfEp1KAuV/xhefNjRc8BQL7Ax45StzeBhRrfjZA=

Name: org/lamport/tla/toolbox/ui/property/SpecPropertyPage.class
SHA-256-Digest: XbKlYgWKyQBme4F/81PSMlraBEBsNipx9zbUJLkhsAI=

Name: org/lamport/tla/toolbox/ui/wizard/NewSpecWizardPage$1.class
SHA-256-Digest: JYrmfW/SvIU6nUVRx8UQN/ik4IpIAFqPx0J6F6HHZcU=

Name: icons/full/etool16/tla_launch_check_wiz_128.png
SHA-256-Digest: FrFJEyxNAMB+BDyfsp/TDEm2NuyEyBm3T7m3vy6Qm1o=

Name: icons/full/obj16/tfile_obj.gif
SHA-256-Digest: lqsWoBKZpZpqnpz5UkuABzNCJdMA840+rzaNrnx/wc8=

Name: org/lamport/tla/toolbox/ui/preference/LibraryPathComposite$8.cla
 ss
SHA-256-Digest: UV/SBkZBuFGjuaKhFfQB9Hn4KBGbsXy8bcv/fKbjIuw=

Name: icons/full/etool16/tla_launch_check_wiz_256.png
SHA-256-Digest: Iud8NIsKcLFSajz+1PwurzBCT+H244WkKP0l8dCTgSE=

Name: icons/full/etool16/tla_launch_check_wiz_48.png
SHA-256-Digest: gRYUl/n8BpXddzAGN/w/StuBaXolqTsP8NANTxE/IMw=

Name: org/lamport/tla/toolbox/OpenFileManager$1$1.class
SHA-256-Digest: EtIfnssf6r6y55JfMGkbjEJgD4hWVUvx/QumuFtwRag=

Name: org/lamport/tla/toolbox/ui/handler/OpenParseErrorViewHandler$1.c
 lass
SHA-256-Digest: yERqEe3iP9RmbKB/iEH09id5cHge444vvCwuXExYDZ8=

Name: org/lamport/tla/toolbox/util/PopupMessage.class
SHA-256-Digest: rEMqPjIMdf91BE7hadcWHuu4W46SHtKqcGfzSuEHU7w=

Name: org/lamport/tla/toolbox/spec/parser/DoubleHashedTable.class
SHA-256-Digest: P87epnwszyNc8GFtdCt0mtFVaVARdPTReaduR17Q1Ls=

Name: org/lamport/tla/toolbox/util/IHelpConstants.class
SHA-256-Digest: NscPjxrGtSnSLdAdScB/azr4oLhQ7p1wTVoxSYB9kmk=

Name: org/lamport/tla/toolbox/ui/handler/ShowHistoryHandler.class
SHA-256-Digest: lCoapWVKR0mLpWo7wchjfOEUoHmLHoPCBsQYHoRR8xM=

Name: org/lamport/tla/toolbox/util/HelpButton$HelpShellListener.class
SHA-256-Digest: OBmhgdNNieR8EW37MtlbqQ+Db2VD2JxOA+kzveWepsk=

Name: org/lamport/tla/toolbox/ui/handler/OpenSpecHandlerDelegate.class
SHA-256-Digest: 1/d4s1yg5Bau0xgIc8A3wodmq9wOE2AnqQJZ080e24U=

Name: org/lamport/tla/toolbox/ui/handler/SwitchPerspectiveHandler.clas
 s
SHA-256-Digest: t8/WBnIxXpOejy5bdoeA7Ber8hglOIGP5w+8jqoord4=

Name: org/lamport/tla/toolbox/ui/handler/OpenSpecHandler.class
SHA-256-Digest: QohE39t/O7k6rs8C4Ex61E1jbJBRxWWMVHvYw+4Zrzg=

Name: org/lamport/tla/toolbox/Activator$2.class
SHA-256-Digest: ZFnBqtfddjV91T0tuBBDdDTr/ciSF9bArbT7G1T12No=

Name: org/lamport/tla/toolbox/ui/provider/IGroup.class
SHA-256-Digest: 9PiVYheZsFZ0Y6dY/sm6KGfP4b3O4UhtwTTvglQMmOA=

Name: org/lamport/tla/toolbox/spec/Spec$NullTLAtoPCalMapping.class
SHA-256-Digest: 032xK/LZMlO+b/NceIwN4KwNX989D/0EYWt5sOB6tzI=

Name: org/lamport/tla/toolbox/ui/handler/RefreshSpecHandler.class
SHA-256-Digest: 5zEMYtTXEdYtotU2Hn57NRN3uABX+pgqQIRHhLrylsQ=

Name: org/lamport/tla/toolbox/ui/contribution/SizeControlContribution.
 class
SHA-256-Digest: neheaeRlLTg3UBfYefjKLuPZAW7J7KtRgirvhJL1ynE=

Name: org/lamport/tla/toolbox/ui/navigator/ToolboxExplorerResourceList
 ener$1.class
SHA-256-Digest: OQShzTvCFqArxnCTBq6lWNppJ9CN9nEZSTniwg1QTxg=

Name: org/lamport/tla/toolbox/ui/handler/NewSpecHandler.class
SHA-256-Digest: wQyepYVcGzhdIP8WW+PnEEr+TkMADyC73puXiMsub38=

Name: org/lamport/tla/toolbox/ui/handler/OpenSpecHandler$1$1.class
SHA-256-Digest: y7OAL3A6nFkdP0lvIaRSdbyZR9rahb0Ag12nnktgGvo=

Name: icons/full/obj16/info_tsk.gif
SHA-256-Digest: l2eYPN2dr1P8rXs4ub44DFo3PWnfCJd18r7TRzlcWpk=

Name: org/lamport/tla/toolbox/ui/handler/AddModuleHandler.class
SHA-256-Digest: U25ouIDlFCMxdIOUzwTA9r9pbdvi3LwTBIErxyqYm88=

Name: org/lamport/tla/toolbox/AbstractTLCActivator.class
SHA-256-Digest: jWLnT/OoLQMJK7XaY6xiDny38k7MsHc31gHp2Sk1PH4=

Name: org/lamport/tla/toolbox/util/ToolboxJob.class
SHA-256-Digest: T5z/oi1COlUWbpz1LU/MOJC1/MTXG39ZuGfYtIbFlJA=

Name: org/lamport/tla/toolbox/OpenFileManager$1.class
SHA-256-Digest: GGteX2Fx+48vOaRE4ApjsQSPwWklLxbJzfOr8+VqOZI=

Name: org/lamport/tla/toolbox/util/HelpButton$HelpButtonListener.class
SHA-256-Digest: dTmT3Rw7wAK0sG3jUl7exxjZf+6vp1q6+5QgScQfPvo=

Name: org/lamport/tla/toolbox/ui/handler/NewSpecHandler$NewSpecHandler
 Job.class
SHA-256-Digest: bUY8PNJWJWwOeC1p92DbtPV+jJsY1IN6955yYwwpeNI=

Name: icons/full/ovr16/algo_ovr.gif
SHA-256-Digest: mCg6surnOeUnjiWqkYZvOhSxWPm98ks9iTfD3dL7Q6A=

Name: org/lamport/tla/toolbox/util/compare/SpecComparator.class
SHA-256-Digest: MjCxXD2KnBcKbrh0hysS1TDOOT7KgrSbZhR/X8hhZLQ=

Name: org/lamport/tla/toolbox/util/ResourceHelper$1.class
SHA-256-Digest: 1KVhbmxFjuk9Q/yDYQUv2rO6A596aV8UDF3I3tDz/80=

Name: org/lamport/tla/toolbox/util/HelpButton$HelpButtonListener$3.cla
 ss
SHA-256-Digest: mMMG0sYKtndWleHYK0vCRd6CuAn4qMMYe9CyHJIRJ7M=

Name: org/lamport/tla/toolbox/spec/nature/TLAParsingBuilder.class
SHA-256-Digest: vWCnRWVskbi8yIbb4jq3vnCyx01M0RyXVXz0QviVatU=

Name: org/lamport/tla/toolbox/ui/handler/OpenModuleHandler.class
SHA-256-Digest: EmDN2IewCEr5oIEykPp7uOPJwiawnXsUH131QuSn9WQ=

Name: org/lamport/tla/toolbox/tool/SpecRenameEvent.class
SHA-256-Digest: gfkPb+NT0V4GWMMa46bwIxPj2K7gTqtEgtVPZbbIinw=

Name: icons/full/obj16/complete_task.gif
SHA-256-Digest: 6KFjHNQ2izx4EfiWtyrHRKcz3MgmQPvBjMNhlitU9qw=

Name: org/lamport/tla/toolbox/util/pref/PreferenceStoreHelper.class
SHA-256-Digest: xclViXKkxwsbum0ipAMs52MFlvZjigkiWEDrcWQ0b/8=

Name: org/lamport/tla/toolbox/spec/parser/ParseResultBroadcaster.class
SHA-256-Digest: F/CIup7m6WGcd6+tjmwivj0HmDhDPTfMKXFNzzdwhO8=

Name: org/lamport/tla/toolbox/ui/view/ToolboxWelcomeView.class
SHA-256-Digest: VfC9LVEUGdLExVI/PfUINISS4vLHIffudv3UBJ9QYsU=

Name: icons/full/obj16/ftr_mf_obj.gif
SHA-256-Digest: VrwoI9Q3+86p+IGL/FqL2NcWQVEDBPqS5sqEU/OacJ0=

Name: org/lamport/tla/toolbox/ui/contribution/SizeControlContribution$
 2.class
SHA-256-Digest: IpFc0UhJNFdfKyarL5Lah+wzwPh3UrcInONL+jWE6Ek=

Name: org/lamport/tla/toolbox/util/TLAMarkerResolutionGenerator$DummyW
 BMarkerResolution.class
SHA-256-Digest: w6/Id2iV6tVk7mSJKKFun2MKBd8CxXhcuPL1E8kAVfM=

Name: icons/full/obj16/cprj_obj.png
SHA-256-Digest: OHfwAbYR6Ow9uXyVku6U9IPkZwvV03014Qgvcx/t4po=

Name: icons/full/etool16/rundebug.gif
SHA-256-Digest: OmOJEsy9+U/cas+EiulHla0xDYAkdHE4KwyWnLNLlDE=

Name: org/lamport/tla/toolbox/util/ChangedModulesGatheringDeltaVisitor
 .class
SHA-256-Digest: pdt5fpfjrS6VPoSm4FiTj0lwBHZOZYutCtXXKfm4R2g=

Name: org/lamport/tla/toolbox/spec/Module.class
SHA-256-Digest: VdwsI8VhdNVqnVQzzZKrEEWmG2lLZbKRifGuuoAoUNA=

Name: org/lamport/tla/toolbox/util/TLAMarkerInformationHolder.class
SHA-256-Digest: WfZUl+ZLAPxQZF9SWW4CPJFF7QWqVGjILcHQmZz1eu0=

Name: org/lamport/tla/toolbox/util/UIHelper$StatusLineMessageEraser.cl
 ass
SHA-256-Digest: fM2gpobXbQwOZEnYKcZqp0gK9yk1B4El+SSGqhkpQSQ=

Name: org/lamport/tla/toolbox/util/ResourceHelper.class
SHA-256-Digest: QUZO6bPEiRPU2cnDfBwqdxy8HXHFPLoPQAmFikUXe+c=

Name: org/lamport/tla/toolbox/util/StringHelper.class
SHA-256-Digest: 8WDljuH+wS3witgMDxcsKfrfgOwTgHSGn0aLU3MBhh8=

Name: org/lamport/tla/toolbox/Activator$3.class
SHA-256-Digest: hcEXbd8gLUh3avsl5LTIrL2J4FTgLA2St7/rFoktI74=

Name: org/lamport/tla/toolbox/ui/handler/CloseSpecHandler.class
SHA-256-Digest: U93PsnDccUXu63cH35kkGlqXBg3c/d385k6pbh4rBRo=

Name: org/lamport/tla/toolbox/ui/handler/RenameSpecHandler$1$1.class
SHA-256-Digest: sMjVxILqQUAQtPUGKEJOz5DEjn9ay34KS2KsFp1i2Z8=

Name: org/lamport/tla/toolbox/ui/preference/ParserPreferencePage.class
SHA-256-Digest: oqIR9Ymi1u0H+YSl10i+kCH8vWzqehbaZ52kb7WS0oE=

Name: org/lamport/tla/toolbox/Activator.class
SHA-256-Digest: 6eKOOHGFJa8vUQG981+6DaY9ctIS4U5tnexf8C9qdjo=

Name: org/lamport/tla/toolbox/ui/provider/SpecContentProvider.class
SHA-256-Digest: Ljglj9/2lkNHrQsc7H3DLaw7ozqJMowgbFWjELLtJw4=

Name: org/lamport/tla/toolbox/util/SpecLifecycleManager$ExtensionInvoc
 ationStrategy.class
SHA-256-Digest: iOhBTKmKsuPm8W3o/fyENP7Xuk344LO3+g4ObKo3hX8=

Name: org/lamport/tla/toolbox/ui/contribution/SizeControlContribution$
 1.class
SHA-256-Digest: 1JCCuzjGCs9jZQMjDboF7W5aw59E1pj55yHR7SNR2Bo=