If you have suggestions, please make them on this bug. Of course, preference will be given to names that start with “K” (e.g., Kepler). Furthermore, preference will be given to names that fit the traditional Eclipse themes (moons, heavenly bodies, gods, scientists).
Enjoy coming up with names! The voting should start in early January.