void (final Revision revision) { if (revision == Revision.HEAD) { myHead.setSelected(true); myRevisionField.setEnabled(false); } else { myRevisionField.setText(String.valueOf(revision.getNumber())); mySpecified.setSelected(true); myRevisionField.setEnabled(true); } }