[jbosstools-issues] [JBoss JIRA] (JBIDE-12725) Name of JBoss server cannot be changed

[Rob Stryker (JIRA)]

    [ https://issues.jboss.org/browse/JBIDE-12725?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12723139#comment-12723139 ] 

Rob Stryker commented on JBIDE-12725:
-------------------------------------

Replicated using a clean eclipse and update site for a2b
                
> Name of JBoss server cannot be changed
> --------------------------------------
>
>                 Key: JBIDE-12725
>                 URL: https://issues.jboss.org/browse/JBIDE-12725
>             Project: Tools (JBoss Tools)
>          Issue Type: Bug
>          Components: JBossAS/Servers
>    Affects Versions: 4.0.0.Alpha2
>            Reporter: Jaroslav Jankovič
>            Assignee: Rob Stryker
>             Fix For: 4.0.0.Alpha2
>
>         Attachments: JBIDE-12725-bug.ogv, JBIDE-12725.ogg, JBIDE-12725.ogg
>
>


--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira