remove superfluous .equals/.hashCode from ServletConfiguration