An error has occurred. See error log for more details.org/eclipse/jdt/internal/ui/javaeditor/JavaEditor