文件编辑器，可以打开（.java）等文件进行查看，编辑，检索等操作。