[seam-dev] Change jira project name to Seam instead of JBoss Seam ?

Hi, Anyone object to $subject ? It made my life much simpler in when I changed "JBoss Tools" to "Tools" and "JBoss Developer Studio" to "Developer Studio". Just need to press T or D a few times to select it in the 3 miles long list of "JBoss XXX" combo boxes. Let me know if there is some big reason not to do it ? I got jira admin rights for these changes so can be done immediatly. /max