@SuppressWarnings("unchecked")
private void setImageFormat(WebMapServer wms, GetMapRequest request) {
List formats = wms.getCapabilities().getRequest().getGetMap().getFormats();
String str;
if (getPreferencesStore().getBoolean(PreferenceConstants.P_USE_DEFAULT_ORDER)) {
str = getPreferencesStore().getDefaultString(PreferenceConstants.P_IMAGE_TYPE_ORDER);
} else {
str = getPreferencesStore().getString(PreferenceConstants.P_IMAGE_TYPE_ORDER);
}
String[] preferredFormats = str.split(","); // $NON-NLS-1$
// Select one of the available formats from the WMS server
// the order of preferred formats is set in the preferences
for (String format : preferredFormats) {
if (formats.contains(format)) {
request.setProperty(GetMapRequest.FORMAT, format);
request.setTransparent(formatSupportsTransparency(format));
break;
}
}
}
