Remove switching between kepler and ptolemy
From bug 4282:
Absent any objections, I will implement the following solution:
Let's remove the ability to change to Ptolemy from the GUI. This involves some
changes to the code, because currently the module manager can change to any
configuration that the build can change to.
If the need to change to Ptolemy from the GUI is removed, then there will be no
need to change to Kepler from Ptolemy. Then, the override of Top.java will be
This change to the module manager is not a high priority. However, I will get
to it soon, because I am in the process of making a new version of the module
manager that supports patching.