Moving eclipse-devel to eclipse

[huanghwh]

Hi,

On 2013/08/19 04:07, George Neville-Neil wrote:

This work is nearly done.  I've tested locally and the new eclipse, formerly eclipse-devel, installs and runs.
Since this is now going to be eclipse instead of devel I am planning to commit this port with 
a .1  PORTREVISION.  That would make eclipse show up as: eclipse-4.2.0_1 Does that make sense to everyone?
I often used eclipse-devel and got two main problems of our eclipse-devel:

1.  eclipse is very slow switching editors, especially XML: https://bugs.eclipse.org/bugs/show_bug.cgi?id=391868
2.  If install EMF SDK from juno repository, all of installed
    plug-in will be disable.

 Maybe the better way is:  Switch to eclipse from eclipse-devel
    after eclipse-devel upgrade to 4.2.2 or 4.3.

Cheers,
--hwh