Thanks, Rob. I found that very helpful. It's good to know that it's not just my machine.
A series of bizarre Eclipse & JBoss bugs made me consider switching to the Project Archives approach, but the "Add and Remove..." option in the Servers view is working again, so I'll stick with that.