how to debug server apps in Eclipse

I was debugging a jboss app from eclipse and I wanted to explain to a coworker how to attach the right source files to the app. I knew I did that before, but I forgot, and even Googling didn't find me the info. Finally, after typing exactly the right search terms. I found it. It's on this page. The part I missed is that you have to double click the server name to get to the run time options. I tried alt-clicking the server, which does give you options, but not the one I was looking for. Kind of confusing.