Add method to retrieve ServletManager from ServletConfiguration