355356357358359360361362363364365
} if(element instanceof RemoteFileEditorInput) { RemoteFileEditorInput input = (RemoteFileEditorInput)element; return input.canWrite(); } return super.isModifiable(element); }