protected void handleElementDeleted(IEditorInput fileEditorInput){
  fireElementDeleted(fileEditorInput);
}

protected void handleElementDeleted ( IEditorInput fileEditorInput ) { fireElementDeleted ( fileEditorInput ) ; }
sends out the notification that the file serving as document input has been deleted .
