First time I tried this, selecting
"JBoss Server View > XML Config > Ports > choose a file, right-click > Edit File "
did nothing. So, I opened this issue in a browser, and went back to verify... now it opens a file, but it's the wrong file - or at least not the file referenced in the view.
File opened is called "server.xml"; file on which I clicked to see the file was:
~/jbdevstudio/jboss-eap/jboss-as/server/default/conf/jboss-service.xml
This may be working as intended, but it's unclear WHY the view is linked to a file which isn't the one mentioned. Usability issue at the very least, if not a functional problem.