What does "Java EE Module Configuration Editors" mean for JBoss Tools? Please see http://www.eclipse.org/proposals/webtools.jee-config