='javascript:executeCommand("org.eclipse.equinox.p2.ui.sdk.update")'>
  <img src="PLUGINS_ROOT/org.eclipse.help/command_link.png">
  <b>Help &gt; Check for Updates</b></a>.&nbsp;
    If updates are available, an installer
  will pop up. 
   
  You can then follow the steps listed below to update the  Toolbox:
</p>
<ol>
  <li>Review the list of upgrades shown in the update installer and check all the items listed.&nbsp; 
  (The <a href="https://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html#