void (boolean selected) { if (project.isDisposed()) { return; } boolean updated = selected != isSelected(); currentState.setAbbreviatePackageNames(selected); getDefaultState().setAbbreviatePackageNames(selected); getGlobalOptions().setAbbreviatePackages(selected); if (updated) { updatePanes(false); } }