private void syncMenu() {
if (bugInstance != null) {
isBugItem.setEnabled(true);
notBugItem.setEnabled(true);
BugProperty isBugProperty = bugInstance.lookupProperty(BugProperty.IS_BUG);
if (isBugProperty == null) {
// Unclassified
isBugItem.setSelection(false);
notBugItem.setSelection(false);
} else {
boolean isBug = isBugProperty.getValueAsBoolean();
isBugItem.setSelection(isBug);
notBugItem.setSelection(!isBug);
}
} else {
// No bug instance, so uncheck and disable the menu items