@Override public void setEditedContent(CGFile file) { ((CodeEditor) javaCodeDisplayer).setEditedContent(file); }