so what does the deploy only server (if that's the difference between %AllJBTServerTypes and %AllJBossServerTypes) use for launch/shutdown/publish? some noop controllers?