WorkingCopyFormat (@NotNull JRadioButton button) { Object format = button.getClientProperty("format"); return format instanceof WorkingCopyFormat ? (WorkingCopyFormat)format : WorkingCopyFormat.UNKNOWN; }