See: http://www.fsf.org/blogs/licensing/using-the-gpl-for-eclipse-plug-ins for details (otherwise, no one can really distribute startexplorer, as you're unable to make eclipse itself GPL).