*/
private void setOperationDropDownMenuValues(int resourceTypeId, final Integer selectedOpId, final Configuration args) {
ResourceTypeCriteria criteria = new ResourceTypeCriteria();
criteria.addFilterId(resourceTypeId);
criteria.addFilterIgnored(null); // it probably makes sense to filter ignored type operations, but ugly errors in GUI show if we do that
criteria.fetchOperationDefinitions(true);
GWTServiceLookup.getResourceTypeGWTService().findResourceTypesByCriteria(criteria,
new AsyncCallback<PageList<ResourceType>>() {
@Override
public void onSuccess(PageList<ResourceType> result) {