In Windows > Preferences > JBoss Tools > JBoss Maven Integration, there is configure maven repositories.

This has options to 'remove', 'remove all', and 'add repository'. Is it possible to add an 'edit' option?

For example, I have jboss eap 6.0.0 and I want to update it to 6.0.1. Or what if I use the 'add repository' option and make a small mistake - I would have to remove the repo and start again. I realize there are workarounds for both of these examples but 'Edit' would be useful from a user perspective.