Manifest-Version: 1.0
Bundle-SymbolicName: org.lamport.tla.toolbox;singleton:=true
Built-By: jenkins
Require-Bundle: org.eclipse.ui,org.eclipse.core.runtime,org.eclipse.co
 re.resources,org.eclipse.ui.views,org.eclipse.ui.forms,org.eclipse.ui
 .ide,org.eclipse.ui.editors,org.eclipse.jface.text,org.eclipse.ui.nav
 igator;bundle-version="3.3.101";visibility:=reexport,org.eclipse.core
 .expressions;bundle-version="3.4.100",org.lamport.tlatools;bundle-ver
 sion="1.0.0";visibility:=reexport,org.eclipse.team.ui,org.eclipse.cor
 e.filesystem;bundle-version="1.5.0",org.lamport.tla.toolbox.product.s
 tandalone
Bundle-ManifestVersion: 2
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Bundle-ActivationPolicy: lazy
Bundle-Vendor: Simon Zambrovski, Leslie Lamport
Import-Package: org.eclipse.e4.core.contexts,org.eclipse.e4.core.di,or
 g.eclipse.e4.core.di.annotations,org.eclipse.e4.core.services.events,
 org.eclipse.e4.ui.model.application,org.eclipse.e4.ui.model.applicati
 on.ui,org.eclipse.e4.ui.model.application.ui.basic,org.eclipse.e4.ui.
 workbench,org.eclipse.e4.ui.workbench.lifecycle,org.eclipse.e4.ui.wor
 kbench.modeling,org.osgi.service.event;version="1.3.0"
DynamicImport-Package: *
Export-Package: org.lamport.tla.toolbox,org.lamport.tla.toolbox.spec; 
 uses:="org.eclipse.core.runtime,  org.eclipse.core.resources,  tla2sa
 ny.modanalyzer,  tla2sany.semantic",org.lamport.tla.toolbox.spec.mana
 ger,org.lamport.tla.toolbox.spec.parser,org.lamport.tla.toolbox.tool;
  uses:="org.eclipse.core.runtime,  org.eclipse.jface.preference,  org
 .lamport.tla.toolbox.spec,  org.eclipse.core.resources,  tla2sany.mod
 analyzer",org.lamport.tla.toolbox.ui.dialog,org.lamport.tla.toolbox.u
 i.handler,org.lamport.tla.toolbox.ui.navigator,org.lamport.tla.toolbo
 x.ui.preference,org.lamport.tla.toolbox.ui.provider; uses:="org.lampo
 rt.tla.toolbox.spec,  org.eclipse.ui.navigator,  org.eclipse.swt.grap
 hics,  org.eclipse.jface.viewers",org.lamport.tla.toolbox.ui.view;use
 s:="org.eclipse.ui.part,org.eclipse.swt.widgets",org.lamport.tla.tool
 box.util; uses:="org.eclipse.jface.window,  org.eclipse.core.runtime,
   org.eclipse.jface.resource,  org.eclipse.ui.model,  org.eclipse.ui,
   org.lamport.tla.toolbox.tool,  org.eclipse.ui.views.markers,  org.l
 amport.tla.toolbox.spec,  org.eclipse.core.runtime.jobs,  org.eclipse
 .core.resources,  org.eclipse.swt.graphics,  org.eclipse.jface.viewer
 s,  org.eclipse.swt.widgets,  util",org.lamport.tla.toolbox.util.e4,o
 rg.lamport.tla.toolbox.util.pref
Bundle-Name: TLA+ Toolbox Base
Bundle-Version: 1.0.0.201807180447
Bundle-ClassPath: .,StandardModules/
Bundle-Activator: org.lamport.tla.toolbox.Activator
Created-By: Apache Maven 3.3.9
Build-Jdk: 1.8.0_171
Eclipse-BundleShape: dir

Name: plugin.xml
SHA-256-Digest: B5YCNmXuQkkHpXwQfNf2N81L6KXBRQQpb0hsr8e/hYE=

Name: org/lamport/tla/toolbox/util/compare/MarkerComparator.class
SHA-256-Digest: 6FKTbaEOW/8r6o0o7NRqL9/ow4kiXSmKEeELP3Kvo2Y=

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

Name: org/lamport/tla/toolbox/spec/parser/ModuleParserLauncher.class
SHA-256-Digest: psT2G+DG/Q/PqW+tdwny8uc/agvV7kPfFemVR/Bw56Y=

Name: org/lamport/tla/toolbox/spec/nature/TLANature.class
SHA-256-Digest: 3r9TR5x/fEoWNnyp8t2qFO+RY/nf623J581IvWLnhzM=

Name: org/lamport/tla/toolbox/spec/Spec.class
SHA-256-Digest: o2Awk+cY4BRUNKL7/nYNZ5WeHa/Ovx+QfLvBolZXU4Y=

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

Name: org/lamport/tla/toolbox/util/UIHelper$NamedFileStoreEditorInput.
 class
SHA-256-Digest: pt2DZVj/jQJRFLbU26ASayCY6QZFE+SzjJmSCgeSY4A=

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

Name: icons/full/obj16/start_ccs_task.gif
SHA-256-Digest: B+CWLShdI5RgGBtdi3n0GnxXvLo55M8yJa0PmI1PkZY=

Name: org/lamport/tla/toolbox/util/pref/UnwantedPreferenceManager.clas
 s
SHA-256-Digest: Hsw1gEBxCCHoRld/rcsutb4Mif6FTj/fcLh4UYpeCW0=

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

Name: org/lamport/tla/toolbox/util/ResourceHelper$ErrorMessageRunnable
 .class
SHA-256-Digest: Ney3ZpvcoG8PEfvoswbzCap8IXHYxJ0oJ3TQ0rhBE0w=

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

Name: icons/full/etool16/tla_launch_check_wiz_32.png
SHA-256-Digest: GVNy2hpFSoIQ8vSOV4pQ6FoUDZLjjMEGO99TE+qeNio=

Name: org/lamport/tla/toolbox/ui/expression/CurrentSpecTester.class
SHA-256-Digest: Gv+9OUDW1Y2KRFvakoAGkty5fgWPMhVL28PBQOmEyeE=

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

Name: org/lamport/tla/toolbox/ui/view/ProblemView.class
SHA-256-Digest: hHCMasTY2RkQpMCeO+4zWXKD7kM8GoMftZh1A+GLMVE=

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

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

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

Name: icons/full/etool16/tla_launch_check_wiz_16.png
SHA-256-Digest: LzAY30wraGRgJF4WEQJ4njK2K4tVUny9fX5Qv3/RQmY=

Name: org/lamport/tla/toolbox/util/TLAMarkerResolutionGenerator.class
SHA-256-Digest: 9SvCzqmIi4WZ9UnHlgSAHSMMO+UFe2ejLakx8ofmL3U=

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

Name: org/lamport/tla/toolbox/ui/property/GenericSelectionProvider.cla
 ss
SHA-256-Digest: 5Af1ijrRAo6W7cnZSL2t3vPLPuq14zJCGHJeRYyVUtE=

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

Name: org/lamport/tla/toolbox/ui/view/ProblemViewResourceListener$1.cl
 ass
SHA-256-Digest: V/ohbONK1NaHB3ExgwQGwZ6xvTDa6SirtwFgGpEmt5g=

Name: org/lamport/tla/toolbox/util/TLAMarkerHelper$1$1.class
SHA-256-Digest: XqSr8Sqi+ntfuX6Ck/33O2MOoEaK2/vg9hR+iqq+OeE=

Name: icons/full/ovr16/volatile_co.gif
SHA-256-Digest: xaJJNxkM/8yih0YVfFk+VFr+OEFDk8lxuF0ysqkHvzc=

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

Name: org/lamport/tla/toolbox/ui/view/PDFBrowser.class
SHA-256-Digest: VwD3Sa9ILv7xg9+ts8ZR3tOQ9OETxu4tH0VtHKQbe3g=

Name: org/lamport/tla/toolbox/ui/handler/ParseSpecHandler$1.class
SHA-256-Digest: iqxbi+4Y5bt/uxZm/ZINrPrjKsiZ73FpNtcyL2VwysE=

Name: org/lamport/tla/toolbox/job/NewTLAModuleCreationOperation.class
SHA-256-Digest: nQDYLyqd5WY9tQ76g3AmHEjJTGCtHHas6ANDqzcF5CY=

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

Name: icons/full/etool16/history_list.gif
SHA-256-Digest: v/zSbvQkgn9opgBo9dKbEwXvu2cXbT4oPgH+SQ8qw0M=

Name: org/lamport/tla/toolbox/util/e4/E4HandlerWrapper$E4Handler.class
SHA-256-Digest: LumEoy5mlpT5mky3OZit++s6/3du92Q6qbDUPns2X/8=

Name: org/lamport/tla/toolbox/tool/SpecEvent.class
SHA-256-Digest: 9xgGNUmLxsLg+rEsmwcgeloBBMaJypNHweWJGaTcCeA=

Name: icons/full/prop_ps.gif
SHA-256-Digest: 9I7k0Y6xN5zzsksEBZlaOJA30jT+h6r1i8ZWKWRuhTA=

Name: org/lamport/tla/toolbox/ui/handler/NewSpecHandler$NewSpecHandler
 Job$2.class
SHA-256-Digest: jCyBL5IcMG/C6kmlIbtd0s5EC/n4cuGKHN1vRhrprpo=

Name: org/lamport/tla/toolbox/ui/handler/SwitchPerspectiveHandler$1.cl
 ass
SHA-256-Digest: jo56FBffmj+qC1d/RXeUPgh+bp2AyN/bXZynCsjukZg=

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

Name: icons/full/etool16/new_module_wiz.gif
SHA-256-Digest: gRdmi89z+fb1U3uSu5inPCat/fz2UEl+DrD3apo/8Vw=

Name: org/lamport/tla/toolbox/ui/preference/GeneralPreferencePage.clas
 s
SHA-256-Digest: n2yh3oJGkP1lYmBjUBBPWW/g4ZGMS0FTZMEEbml5iGo=

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

Name: icons/full/eview16/console_view2.gif
SHA-256-Digest: vab/CmPsuCDGNcCKrmRYnlQVSyk/XICxc/OoqHjDr8Y=

Name: org/lamport/tla/toolbox/ui/view/ProblemViewResourceListener.clas
 s
SHA-256-Digest: 9UEFRSMuOnR7YgDYLhO83x+90hMd0qwgZWbFWBNg1oE=

Name: org/lamport/tla/toolbox/spec/parser/IParseConstants.class
SHA-256-Digest: zB+q9noZg2XqIkbG2PMgHL/N2lpHTunDT3jvWzyyptw=

Name: icons/full/etool16/nav_go.gif
SHA-256-Digest: ho1FtJosz/FKGA8rLVqdmlemOUZ5eHsyiHLvcpPYdH0=

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

Name: org/lamport/tla/toolbox/util/UIHelper$1.class
SHA-256-Digest: HyP3Kjg+8SiNWany1kEHRj3LYubE/NT9Iz9puQrg7s0=

Name: icons/full/etool16/tla_launch_check_wiz.gif
SHA-256-Digest: WvP3BCLz1AGPvuhgXqYD8iegxPABwqpNTbp9EIH+YV8=

Name: org/lamport/tla/toolbox/util/UIHelper.class
SHA-256-Digest: x/Jon8t1fnIW26Dd9iySMBNekrMu256syNHe3quTz4Y=

Name: org/lamport/tla/toolbox/spec/nature/TLAParsingBuilder$OutOfBuild
 SpecModulesGatheringDeltaVisitor.class
SHA-256-Digest: kXYH+ELI1Pu5j0T8+v5tEviLDgTyEVyPI2fCxbyyW00=

Name: icons/full/etool16/ignore.gif
SHA-256-Digest: EVnCFDk71yZwitVamedceAOW+PP6rnD/mkR0Cmr9Nu8=

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

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

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

Name: org/lamport/tla/toolbox/tool/IParseResult.class
SHA-256-Digest: 1cwYZhwd1zFg2/TKxQINjYBmNG9xmWK604lgxQvlthA=

Name: org/lamport/tla/toolbox/ui/dialog/InformationDialog.class
SHA-256-Digest: Ng1EMuWZt1Q/0ie4RjUB0cOcqP0jRiNhBMz3MZV5lYk=

Name: icons/full/obj16/prj_obj@2x.png
SHA-256-Digest: FlNzAs04CKcBdsYb/6Y4MgdwbgkR/Qyk9N+0UZABk9U=

Name: org/lamport/tla/toolbox/ui/handler/RenameSpecHandler$SpecNameVal
 idator.class
SHA-256-Digest: PaYBkPunPShm4/WLuUvPho0T/eO51lJOCbaN76eGQ24=

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

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

Name: org/lamport/tla/toolbox/util/AdapterFactory.class
SHA-256-Digest: PVD2azOy4kRP6hU/Cs1Zz/G7e/kyhY7LO9WcqC3OQh4=

Name: org/lamport/tla/toolbox/util/UIHelper$2.class
SHA-256-Digest: O/7E3DpqxJSCy0+I6BpdaWBIKI02ay8S16/aeO5aHpI=

Name: icons/full/etool16/tla_prj_obj.gif
SHA-256-Digest: 1SzIAJboFeNY/rUQiLlenLGUmC78VNXITJ8O2Tz/GiU=

Name: icons/full/newmodule_wiz.gif
SHA-256-Digest: qx3MocuwhYNdMmZ2d8548Lw2sLF+FLcD/dKLGOD4ycw=

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

Name: org/lamport/tla/toolbox/ui/handler/OpenViewHandler$1.class
SHA-256-Digest: pyfTeY/qeS27OAikdAIeFQuUgdaPP+7ypx2wsW2vV0s=

Name: helpContexts.xml
SHA-256-Digest: kNvpKmbaGdVqPMc80MepZc7jdaZjVf4JIwXUn+Rs4ck=

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

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

Name: org/lamport/tla/toolbox/util/TLAtoPCalMarker.class
SHA-256-Digest: 7B8d5lzMrnUbT9vKf3m1r6YxghnP7szIshpLB8xQ+Ug=

Name: icons/full/etool16/tla_obj.gif
SHA-256-Digest: 0l4QzPP0Xvs67T+f2Sr9JnmDsHvdBwPEuQhP6gXJKgw=

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

Name: org/lamport/tla/toolbox/ui/handler/DeleteSpecHandler$1.class
SHA-256-Digest: qg0uUbEYKOs+KvUCjc4HPCUdV59h5ywJeWxsAh5bwSs=

Name: org/lamport/tla/toolbox/ui/preference/LibraryPathComposite$Table
 ColumnLabelProvider.class
SHA-256-Digest: oiYfmmApqttCA+ANtNDisKxR6zDsuszGZXjSC7I/z2o=

Name: org/lamport/tla/toolbox/ui/contribution/ModuleListContributionIt
 em.class
SHA-256-Digest: K5CspZiLNcrG1QYBIhyAYZEG3s2MXjJ4SiWLn4XH3JM=

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

Name: org/lamport/tla/toolbox/job/NewTLAModuleCreationOperation$1.clas
 s
SHA-256-Digest: 8NRA8kew7eBq3zi+kA4+0JvZIuTLVscqobSGCXd7VNI=

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

Name: org/lamport/tla/toolbox/ui/wizard/NewSpecWizardPage$3.class
SHA-256-Digest: wAa4w0aUvvqKvMGiIZnMYRP3DkpvV+jPEXTTxXI+1FI=

Name: icons/full/etool16/tla_launch_check_wiz_64.png
SHA-256-Digest: Xcu2wiFwJ2owK8I3I1Kbh0EL9o9+Ne7m3RD/ZbPBIvQ=

Name: org/lamport/tla/toolbox/ui/handler/HelpHandler.class
SHA-256-Digest: 0bBpoO1Hsi0bTZXSxkouutHgKBaASTAbFvhBcxdaqO8=

Name: org/lamport/tla/toolbox/util/UIHelper$3.class
SHA-256-Digest: Neyo1YKW3mDJuiBpvM+qI5C8+76vPE2gDlJBMnh4ecI=

Name: org/lamport/tla/toolbox/ui/property/GenericFieldEditorPropertyPa
 ge.class
SHA-256-Digest: ryf3deNyBRCb7CbBdouWFha5J4z2bZk4Da2e/4xMxo0=

Name: org/lamport/tla/toolbox/util/AdapterFactory$SpecWorkbenchAdapter
 .class
SHA-256-Digest: AhYeNMsVmhkjU/x/QRO25ThZxSE/2F8nzyO+wfLC42Y=

Name: org/lamport/tla/toolbox/spec/parser/ParserDependencyStorage.clas
 s
SHA-256-Digest: 97Mc1PMBiPm561BW1Rmi9Dx/QJyyYz/3X8f6LwbASAQ=

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

Name: org/lamport/tla/toolbox/util/TLAMarkerHelper$2.class
SHA-256-Digest: XRIpN4I+VRhDkpDLKa3T23cfwDsHJKi0s1ZO+2udQWA=

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

Name: org/lamport/tla/toolbox/spec/parser/ModuleParserLauncher$1.class
SHA-256-Digest: slE7BWcqKseYD7uHIzRwGueR9Dst/pJDoOqOutRd2MY=

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

Name: icons/full/etool16/nav_stop.gif
SHA-256-Digest: jkBUU9euFGyFRmiLw07FB9OhWoiYJmlva77L0NMvLiM=

Name: org/lamport/tla/toolbox/ui/handler/RenameSpecHandler$1.class
SHA-256-Digest: 5A45q2ceWtdeCm8wb7sWdt41/pAB4tdTF/+mp1gkjdc=

Name: org/lamport/tla/toolbox/ui/wizard/NewSpecWizardPage.class
SHA-256-Digest: b/jYCHSwdRkI3PsEa7cvhXMfTBEpNCcor/5QiMRqBVE=

Name: org/lamport/tla/toolbox/ui/contribution/ParseStatusContributionI
 tem.class
SHA-256-Digest: BF1ppGgIZCa3wxtJ004s+/lTkRfQ5YVBloW5ZVLro6o=

Name: org/lamport/tla/toolbox/ui/wizard/NewSpecWizardPage$4.class
SHA-256-Digest: +BCGDH01gpwVyHB70YmPgd8UatjRztnTD/NHOhKGijc=

Name: org/lamport/tla/toolbox/util/UIHelper$4.class
SHA-256-Digest: RtsZjqAvVbe3QKQ4TMvnBnWzhq6a4a7+3q+LwlL1UP0=

Name: org/lamport/tla/toolbox/ui/handler/SaveDirtyEditorAbstractHandle
 r.class
SHA-256-Digest: RBeYyR+5ktPjstQvTI240MQMrzHFKXS7QheFlWh8ggI=

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

Name: org/lamport/tla/toolbox/util/RCPNameToFileIStream.class
SHA-256-Digest: 7K4R6xdcj7wwpzi/acnyNKDMwrRP6NFux/LYAQL7zP8=

Name: org/lamport/tla/toolbox/util/compare/ResourceNameComparator.clas
 s
SHA-256-Digest: czx3i3+PbD94mUA/b+rVKGMrzYmbNjacdcyoSCCGRCk=

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

Name: org/lamport/tla/toolbox/util/TLAMarkerHelper$1.class
SHA-256-Digest: fXd12JmhWWm5MvqbN61BXvNl48Q+sSADElt9gbaZ+sY=

Name: icons/full/newspec_wiz.gif
SHA-256-Digest: wJP+OcLNpM0VJ9Xv2Wz5Y0yHxl4g7z96XQ7g6cY6leI=

Name: org/lamport/tla/toolbox/spec/nature/TLAParsingBuilderConstants.c
 lass
SHA-256-Digest: Lfl46+/VZsnaAd6DLq/zWtcT/j59jRdtXa+KUc1TiJE=

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

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

Name: org/lamport/tla/toolbox/util/e4/E4HandlerWrapper.class
SHA-256-Digest: qSPl95eNBccDO8m9nyfLiTdL5z3rFS09WU9XxnT7AbE=

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

Name: org/lamport/tla/toolbox/ui/preference/SWTFactory.class
SHA-256-Digest: ERtKyShyyRZkHJ6f3Bkj/zR+sLrGMDTXYPkAmPxJqow=

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

Name: org/lamport/tla/toolbox/util/HelpButton$HelpWindowDisposeListene
 r.class
SHA-256-Digest: rfaTZiBUAPM+FUSF7H7/AB+loHLYh4kcyNeNgTEJSEw=

Name: org/lamport/tla/toolbox/ui/perspective/InitialPerspective.class
SHA-256-Digest: rxlSqH4rl0YLEIKGhd1t1KD2hgIOdkrSE2Ct4U3v1uI=

Name: org/lamport/tla/toolbox/ui/handler/DeleteSpecHandler.class
SHA-256-Digest: DAM+nW5ffB9cRnGdNWnm5jyJrp5PXq83Xr3+fEyxdak=

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

Name: org/lamport/tla/toolbox/ui/navigator/ToolboxExplorer.class
SHA-256-Digest: 0w3HHhXP6zh9TdRHcb6zry07MGuSAoNN0yq0on4pBPM=

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

Name: org/lamport/tla/toolbox/ui/expression/ParseErrorTester.class
SHA-256-Digest: BupkTzzM4nL8Ntmc24Z7yFtPIFAkcCbszJ/X/MnO4hU=

Name: org/lamport/tla/toolbox/ui/handler/PropertiesHandler.class
SHA-256-Digest: /+MZznFTmcZRpjtaEnjpBOaVvINQPvq4y0hqde2q3NM=

Name: icons/full/etool16/tla_launch_check_wiz.svg
SHA-256-Digest: I5N/N5oxStAcfRUXAgw3VMKWA2EqR3XpvZkcVGQk0q8=

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

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

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

Name: icons/full/etool16/new_project_wiz.gif
SHA-256-Digest: WlB4krGAIdm8gEtU5slPmQFX/nxfKMp/QtAKOuLl0hI=

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

Name: icons/document-pdf.png
SHA-256-Digest: 2RfMgTvsQbg1K6UhAFI/fdKwEuxPhxrt7IXiYZjlQ/0=

Name: org/lamport/tla/toolbox/spec/nature/ParserHelper$1.class
SHA-256-Digest: f1q1pyFIQORNdEh2eS/zCoIOsuVRIKZmHg0MmD/4hv8=

Name: org/lamport/tla/toolbox/util/FontPreferenceChangeListener.class
SHA-256-Digest: dqnaNilUkX7lJOypCYqcyai+Q2WyQOMYXI8y2YFvdVk=

Name: org/lamport/tla/toolbox/ui/view/PDFBrowserEditor.class
SHA-256-Digest: ivW+ccqWfGToNSmmaR/OYG0jvnXkHGwrJw1bSyAeO/M=

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

Name: org/lamport/tla/toolbox/util/SpecLifecycleManager.class
SHA-256-Digest: FkXB5cg9nd9SRITmR/3s9UgZHC8o5Y430mKCVjoeZq8=

Name: icons/full/etool16/tla_launch_check.gif
SHA-256-Digest: WxRyM3Q0mVZOB/DZbCBZJ+zjmGs6iyAIzaMMkhTFK+M=

Name: icons/full/refresh.gif
SHA-256-Digest: UNrXeNFeLP0C3wBxRhio8pcw09z35sw60VyMsfAZTJY=

Name: org/lamport/tla/toolbox/ui/handler/RefreshSpecHandler$1.class
SHA-256-Digest: MXWMfkeVGaLnySdA+MktzzN704dp1mOw8GG680426wQ=

Name: org/lamport/tla/toolbox/OpenFileManager.class
SHA-256-Digest: aMT5VymRK7wZ8rQNGXdZm/QU2Z9HS0LNW1CNSXBpRFY=

Name: org/lamport/tla/toolbox/util/LegacyFileDocumentProvider.class
SHA-256-Digest: tvqdQTFupa6sFYDpOKhdzydlwaZQ8BEv5AtzRrXZN0Y=

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

Name: org/lamport/tla/toolbox/ToolboxDirectoryVisitor.class
SHA-256-Digest: NxNjwXyQsuRapfTfcdmP8I+4NKyqfbQNBS24SgvV8B4=

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

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

Name: org/lamport/tla/toolbox/util/SpecLifecycleManager$1.class
SHA-256-Digest: ipKN+6R3P0n28BH1XP0cJ3F2MUDmUAROp6CX9Bnk08U=

Name: org/lamport/tla/toolbox/ui/handler/OpenParseErrorViewHandler.cla
 ss
SHA-256-Digest: Ueuf6AlH/8DtNJ7+ESeI1DDWEz5hKOs4ikIfQ6EFDvI=

Name: org/lamport/tla/toolbox/ui/handler/ForgetSpecHandler$1.class
SHA-256-Digest: 57tDRaxSJI3UfZ0AIsEcUL+up+Cl2za8ntONU1ms+mo=

Name: org/lamport/tla/toolbox/util/TLAMarkerHelper.class
SHA-256-Digest: VGFC+CZCuQ6q1kWJ8QvLoA7Za+KqkikyrSCg71kjAKs=

Name: org/lamport/tla/toolbox/tool/ToolboxHandle.class
SHA-256-Digest: dQ/+d8CX6sV7kRN2ivOZe//ky7cEYaMlMQuioZCZHJs=

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

Name: icons/full/obj16/warn_tsk.gif
SHA-256-Digest: mfugB+cq7XIVb+MBtAfPa/m5Yk77AMgm1bc7atFgaRY=

Name: icons/full/obj16/prj_obj.png
SHA-256-Digest: mRbaTzUkwb5HNy/dj0W3MxORJg6rIxL+wvC54kHoyN8=

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

Name: org/lamport/tla/toolbox/ui/preference/LibraryPathComposite$1.cla
 ss
SHA-256-Digest: 2y6o13GrElkCDFLD0oi7idVcdCoQ9oG3lLt/hw5wtHg=

Name: icons/full/obj16/cprj_obj@2x.png
SHA-256-Digest: BaJ5nll7rf49AETCMuVnY8Ypqx4LOYslvdxuKBeWJ6U=

Name: org/lamport/tla/toolbox/util/HelpButton$HelpButtonListener$2.cla
 ss
SHA-256-Digest: 90n1z2miEDN01/A4OWyH+kAIT73mZxFl8VQSs675j5I=

Name: icons/full/obj16/spec_obj.gif
SHA-256-Digest: 6zny5Xyr/XQKuNDF+0sm/FynGzNOLPyNZIHDSEK0w2A=

Name: org/lamport/tla/toolbox/util/HelpButton.class
SHA-256-Digest: nSXNCRz0hEnuUK1tntWFvyxxmmZ2OIlp2tGqLcAsM3g=

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

Name: icons/full/obj16/file_obj.gif
SHA-256-Digest: l6I/tPCpfdR4nKJ7zrI5tCBeb6dKTnh8MkzzeQjYTZs=

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

Name: org/lamport/tla/toolbox/spec/parser/IParseResultListener.class
SHA-256-Digest: htyq8Z9VgXl4wAaxe/Q9lS4yLnWN0Rdgbd0in8nzfTU=

Name: icons/full/obj16/error_tsk.gif
SHA-256-Digest: zn2OfLw3wjU1Iawv3bUkv+/770DU81tpN13WoQUDLG8=

Name: icons/full/obj16/externalize.gif
SHA-256-Digest: dfIAt55/CbFGNtTu/0bda2yrZ5b3fATnAjdQu003Jss=

Name: org/lamport/tla/toolbox/spec/parser/ParseResultBroadcaster$1.cla
 ss
SHA-256-Digest: RmibhvJ7P/TrZSxKJb7ZF7SnVyncF+A/8pTcRIPMutY=

Name: org/lamport/tla/toolbox/util/HelpButton$HelpButtonListener$1.cla
 ss
SHA-256-Digest: EyjLnDTi6sifpNnxP+z9DjmOtSx0B+rA7QILSbf2mJI=

Name: org/lamport/tla/toolbox/ui/provider/SpecContentProvider$Group.cl
 ass
SHA-256-Digest: JwBiS5btd7b8En9be/su/RyMYfs7vfCCPDaSRNK90F0=

Name: org/lamport/tla/toolbox/ui/preference/LibraryPathComposite$2.cla
 ss
SHA-256-Digest: zfbKN6onJfeBnHN7Wge+D1rMaQj1yupe7N+LEz3PI+g=

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

Name: org/lamport/tla/toolbox/ui/perspective/SpecLoadedPerspective.cla
 ss
SHA-256-Digest: QwT7qY/koNEQ0RWojiycj75dBO1W1SQxu1f/36uqgwM=

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

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

Name: org/lamport/tla/toolbox/ui/wizard/NewSpecWizardPage$1.class
SHA-256-Digest: 1tZb4dYlAgtrnPYb1rTe4uuUbgPhBL1t+7yWoJqK2bs=

Name: icons/full/etool16/tla_launch_check_wiz_128.png
SHA-256-Digest: EL0Qsi0ujk3z4b5VBe8MSyxxOm4e7SbR84BrosEZ/pM=

Name: icons/full/obj16/tfile_obj.gif
SHA-256-Digest: y+vwGpzA+ONWlEWy+oFfZMWnESZAv7pFhFXMCLHRiBM=

Name: org/lamport/tla/toolbox/ui/preference/LibraryPathComposite$8.cla
 ss
SHA-256-Digest: tL/heX8CS/0GXuzsiBCCXiIWMNDEz/j0fieMNmvdFTY=

Name: icons/full/etool16/tla_launch_check_wiz_256.png
SHA-256-Digest: /wTJdjBYn8KPZB9aS29H+mJccovPPuCx0Z/mJmXQe7U=

Name: icons/full/etool16/tla_launch_check_wiz_48.png
SHA-256-Digest: +PqhGB2HoDbYDG6OQe924lmlms64bfvn5MrmLiczh0s=

Name: org/lamport/tla/toolbox/OpenFileManager$1$1.class
SHA-256-Digest: +/G7DkPoniLBaDfw9ee1t98F/Z0hIqJW+tiDC27PJt0=

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

Name: org/lamport/tla/toolbox/util/PopupMessage.class
SHA-256-Digest: 31q2f3oX+Gn7x6yJxz/X5G/JsanvOUR+1tZKetStcJo=

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

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

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

Name: org/lamport/tla/toolbox/util/HelpButton$HelpShellListener.class
SHA-256-Digest: jzX/UNmR6QAELrvcivcPefoDkQy7CHPJbAHzdRP6jbI=

Name: org/lamport/tla/toolbox/ui/handler/OpenSpecHandlerDelegate.class
SHA-256-Digest: f2wkLhRjSIRNVmRl4QQtCRTWKV3a0yUoqLzCU0Bxo+4=

Name: org/lamport/tla/toolbox/ui/handler/SwitchPerspectiveHandler.clas
 s
SHA-256-Digest: 09LFKNzFmLxbBfdRMWHhQ9rEKt5s/mMJDpw2Czxg4f8=

Name: org/lamport/tla/toolbox/ui/handler/OpenSpecHandler.class
SHA-256-Digest: 2kLyUeR7WpX6ZgKJMRaqewxi81wWqAb17xQPTCcZgwk=

Name: org/lamport/tla/toolbox/Activator$2.class
SHA-256-Digest: usimdtL+y7qKT1OviUV7IKGEaumxpboC7tIaNk5kMdc=

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

Name: org/lamport/tla/toolbox/spec/Spec$NullTLAtoPCalMapping.class
SHA-256-Digest: BNmi/FQIrz4Tm+lphtoqGYLWRdO2GNeJVrj9BqY/67s=

Name: org/lamport/tla/toolbox/ui/handler/RefreshSpecHandler.class
SHA-256-Digest: G5MRxDmvmtivmE0Sfa2zyq73UUhigM5X/J0+mTdh+58=

Name: org/lamport/tla/toolbox/ui/contribution/SizeControlContribution.
 class
SHA-256-Digest: H7QbyQu/xYh0hbSLkpz+lopCKsIsAgYIGK89kwY6qok=

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

Name: org/lamport/tla/toolbox/ui/handler/NewSpecHandler.class
SHA-256-Digest: II90xcM1J2PE5S2fenDE1+/NPzqe0nHqWZIoQhjSqQQ=

Name: org/lamport/tla/toolbox/ui/handler/OpenSpecHandler$1$1.class
SHA-256-Digest: zfoUT+BzVnSi8LX8moLF9bse7+01wZJBYGdlIHpEt/U=

Name: icons/full/obj16/info_tsk.gif
SHA-256-Digest: xxS6sxsN+Dsi8ILC3GvKvGWKt2IizcWGmOG1nVtaR+c=

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

Name: org/lamport/tla/toolbox/AbstractTLCActivator.class
SHA-256-Digest: FnESweBubFMOX0Ae14Pp+h/1gcvXNWi/zCT5D2JEHpc=

Name: org/lamport/tla/toolbox/util/ToolboxJob.class
SHA-256-Digest: ykVFeuKHZ/Acn/R1LOgrQo0BJ+/ygwCNc+z7XoNTiNo=

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

Name: org/lamport/tla/toolbox/util/HelpButton$HelpButtonListener.class
SHA-256-Digest: tsiXTrcaU0KahZSQqjbZgl5ova5xE77R+UPV99rJgF4=

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

Name: icons/full/ovr16/algo_ovr.gif
SHA-256-Digest: h7b/y+KGlMMesXv7V28xUsswF519q3gaqsAYQwgUh08=

Name: org/lamport/tla/toolbox/util/compare/SpecComparator.class
SHA-256-Digest: hmCfGO4IqDtMxhgF1J6D/0uv2tbWA4sFVfEmfIjdErs=

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

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

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

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

Name: org/lamport/tla/toolbox/tool/SpecRenameEvent.class
SHA-256-Digest: 0uOiNDFEV0lSQQGZEX0o32eHuRLSexPDChC1Lbr1cTo=

Name: icons/full/obj16/complete_task.gif
SHA-256-Digest: csgLuuZR8EyMTgAmE+RTr1Ou4J+imJj0szsla/EZ4+Q=

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

Name: org/lamport/tla/toolbox/spec/parser/ParseResultBroadcaster.class
SHA-256-Digest: kmIbiONw1F2YFvSNKNeoIqd/p1MdePZabFqUJ0qc2e0=

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

Name: icons/full/obj16/ftr_mf_obj.gif
SHA-256-Digest: CXYR8X75bXkkdqEyo9BNFlETIaGlP+QlbU0ShL1KiMA=

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

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

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

Name: icons/full/etool16/rundebug.gif
SHA-256-Digest: q6bP0WxKPX4Tx1g1SeKIRc5lTJXiOM+sp6Csjip6UgE=

Name: org/lamport/tla/toolbox/util/ChangedModulesGatheringDeltaVisitor
 .class
SHA-256-Digest: UsVpg2avWbu7Y5QMg0l4/P9Gt7yH7KLBDO6+f/88AFQ=

Name: org/lamport/tla/toolbox/spec/Module.class
SHA-256-Digest: NLD7pSVO1EqTT5iM+jurF+oMt1tIcEmVkomzvEeaLqk=

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

Name: org/lamport/tla/toolbox/util/UIHelper$StatusLineMessageEraser.cl
 ass
SHA-256-Digest: nX2dFE1Agu+nyRXZEEug6MkhQ3SwbBNgaZJd+n+m8i8=

Name: org/lamport/tla/toolbox/util/ResourceHelper.class
SHA-256-Digest: tkc9ZcgES93/VlkHnjV6SKUFiTp06j82HLCS1wTNUyo=

Name: org/lamport/tla/toolbox/util/StringHelper.class
SHA-256-Digest: Hgfp1yZMw3OZD/e8xy0KwPfgJIQpylLUQA2m3Ipt0PU=

Name: org/lamport/tla/toolbox/Activator$3.class
SHA-256-Digest: qGPV63SA+mBkGcKJTXa+6uSkGaQA2Y3zbFklnIJc8wU=

Name: org/lamport/tla/toolbox/ui/handler/CloseSpecHandler.class
SHA-256-Digest: eU427dfRK2MPE+/OnhamsJGCyCZqNqjyJ119CXpLLKY=

Name: org/lamport/tla/toolbox/ui/handler/RenameSpecHandler$1$1.class
SHA-256-Digest: 5xz7uDxFzKoUmyT/iK+9j0MI1U0tqGNdyg85Se+htVc=

Name: org/lamport/tla/toolbox/ui/preference/ParserPreferencePage.class
SHA-256-Digest: id4JKOlW/7tafPC+EHJpPwHFLMwGSbG0L28yY345NbE=

Name: org/lamport/tla/toolbox/Activator.class
SHA-256-Digest: VP53yiOXDYr+cCyuiZeogfnpe0cbbybnBud8p8LXz5s=

Name: org/lamport/tla/toolbox/ui/provider/SpecContentProvider.class
SHA-256-Digest: fczZ/eW/rL0ZmDA39D1ZE1AqCvVw1ynDbiN1z6+H+mc=

Name: org/lamport/tla/toolbox/util/SpecLifecycleManager$ExtensionInvoc
 ationStrategy.class
SHA-256-Digest: lvWe/5nCex83VylpTFlzpZsPrth6sz4O+3VImywnMcw=

Name: org/lamport/tla/toolbox/ui/contribution/SizeControlContribution$
 1.class
SHA-256-Digest: l8VCD7lYXwyinGwg+D03565KqDHRHqyGnCW+HOkJe3w=