My research indicates this is merely a UI bug, and that the two servers do in fact have different values underneath (and when starting them, check launch config args). check jira for updates.
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community