String knownFormat = producer.getMimeType(); for (String formatName : producerFormats) { String translatedFormatName = translateFormat("format.wms.", formatName); if (!formatName.equals(translatedFormatName)) { knownFormat = formatName;
for (int i = 0; i < wmsOutputFormats.size(); i++) { String wmsOutputFormat = wmsOutputFormats.get(i); String label = translateFormat("format.wms.", wmsOutputFormat); for (int i = 0; i < wfsOutputFormats.size(); i++) { String wfsOutputFormat = wfsOutputFormats.get(i); String label = translateFormat("format.wfs.", wfsOutputFormat);