Too minimal probably? See the Tore's Halset commit you're referring to, we should really avoid blindly using a static list of formats and dynamically picking the ones actually supported by GeoServer. Just pick the WMS class from the app context and call getAvailableInfoFormats()