B.2 Checking for Updates

To check for updates of the Bio-PEPA software and the Eclipse platform choose Help Check for Updates (see Figure 62).

Figure 83: Checking for updates

Eclipse will contact its update sites, including the Bio-PEPA update site and fetch the available updates (see Figure 74). If you do not want to wait for Eclipse to finish this job, you may choose to run it in the background by clicking on the Run in Background button. You may also choose to always run this job in the background, by checking the box next to the Always run in background option.

Figure 84: Contacting software sites for updates

Eclipse will then display the available updates. You are required to choose the updates you wish to install by checking the corresponding checkbox (see Figure 75). Then, click Next.

Figure 85: Displaying the available updates

Eclipse will display the updates you have chosen to install and give you the opportunity to review them and confirm your choice (see Figure 76). After you have done so, click Next.

Figure 86: Review and confirm updates

Then, accept the terms of the licence agreement before clicking on Finish (see Figure 77).

Figure 87: Review and accept licences

Eclipse will install the updates (see Figure 78). Again, you may choose to run this job in the background by clicking on the Run in Background button. You may also choose to always run it in the background, by checking the box next to the Always run in background option.

Figure 88: Updating software

After the installation is complete, a dialogue box will appear informing you that, for the updates to take place, you should restart Eclipse. You can also try to apply the changes without restarting, but this might cause errors. We recommend restarting Eclipse to apply the updates.

The dialogue box gives you three options. You can leave the changes for later, in which case they will be applied the next time you start Eclipse, by clicking on the Not Now button. You can try to apply the changes without restarting, by clicking on the Apply Changes Now button. Finally, you can restart Eclipse, so that the changes are applied properly, by clicking on the Restart Now button. The last choice is the recommended one (see Figure 79).

Figure 89: Applying the changes