Use more informative naming for ServletLauncher structure.