WorkingSetRegistry registry = WorkbenchPlugin.getDefault().getWorkingSetRegistry();
if (supportedWorkingSetIds == null) {
return registry.getNewPageWorkingSetDescriptors();
}
List<WorkingSetDescriptor> result = new ArrayList<>(supportedWorkingSetIds.length);
<BUG>for (int i = 0; i < supportedWorkingSetIds.length; i++) {
WorkingSetDescriptor desc = registry.getWorkingSetDescriptor(supportedWorkingSetIds[i]);
if (desc != null && desc.isEditable()) {</BUG>
result.add(desc);
}

WorkingSetRegistry registry = WorkbenchPlugin.getDefault().getWorkingSetRegistry();
if (supportedWorkingSetIds == null) {
return registry.getNewPageWorkingSetDescriptors();
