introduction for ClassFileTool.java