The Package Manager now shows error messages when installing packages fails for some reasons. These errors are emphasized by making the text red. In case of errors, the user has to manually close the overlay dialog showing the error messages.
Package Manager now preselects the most appropriate tab (install, update, remove) to the user.
Package Manager also preselects the default package that comes with the release.
As a result, when starting fresh, the uninstalled default package will be preselected, and the user only needs to select “Install”.
If no packages were detected, the Package Manager now shows a warning that no packages were detected, which may be caused by having no internet connection.
Removed path to java from shell scripts. Java needs to be in the path, now.
Disabled (de)serialization. Too many problems with that.
Fixed issue with canceling an import.
Fixed typos in generated Linux (UNIX) shell scripts.
On Windows, installs in the user’s home folder instead of in the program files folder. This allows the Package manager to change the memory setting for ProM itself (see next item). As a result, there is no need to run the Package Manager as administrator any more.
Allows additional memory options (3 GB, 6 GB, 12 GB), and allows the user to select X GB if the machine has X GB.
Requires Java 7 or better. Java 6 or earlier will not do.