There is no way to execute the run.bat and have it run from within eclipse, so what jboss ide does is execute the jar with its arguments directly.
If you browse through the run.bat, you can find out how it takes the arguments from the properties file and then executes the jar. You can then take those arguments and apply them to the starting of the server by modifying your server's launch configuration.
To change arguments directly, double click on the server and click "Edit Launch Configuration" which should come up as a hyperlink. There you can edit directly the arguments. I realize this isn't as nice as having it read properties files, but... ... that's what we've got right now.
is there anything techincally that prevents us for providing a way to execute the run.bat ?