org_aspectj_tools_ajdoc_BugTest_java
org.aspectj.tools.ajdoc.Main
private static void removeDeclIDsFromFile(String filename, boolean relativePath) {
        File indexFile = relativePath ? new File(docDir + "/" + filename) : new File(filename);
        try {
            if (indexFile.exists()) {
                BufferedReader indexFileReader = new BufferedReader(new FileReader(indexFile));
                StringBuilder indexFileBuffer = new StringBuilder((int)indexFile.length());
                String line = indexFileReader.readLine();
                while (line != null) {
                    int indexStart = line.indexOf("__AJDECLID:");
                    int indexEnd = line.indexOf(":__");
                    if (indexStart != -1 && indexEnd != -1) {
                        line = line.substring(0, indexStart) + line.substring(indexEnd + ":__".length());
                    }
                    indexFileBuffer.append(line);
                    line = indexFileReader.readLine();
                }
                FileOutputStream fos = new FileOutputStream(indexFile);
                fos.write(indexFileBuffer.toString().getBytes());
                indexFileReader.close();
                fos.close();
            }
        }
        catch (IOException iOException) {
            // empty catch block
        }
    }
 -> java.io.File.exists(): boolean -> java.io.File.length(): long -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.substring(int,int): java.lang.String -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.substring(int): java.lang.String -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.toString(): java.lang.String -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.StringBuilder.toString(): java.lang.String -> java.lang.String.getBytes(): byte[] -> java.io.FileOutputStream.write(byte[]): void -> java.io.BufferedReader.close(): void -> java.io.FileOutputStream.close(): void
 [CALL] -> java.io.File.exists(): boolean -> java.io.File.length(): long -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.substring(int,int): java.lang.String -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.substring(int): java.lang.String -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.toString(): java.lang.String -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.String.indexOf(java.lang.String): int -> java.lang.String.indexOf(java.lang.String): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.io.BufferedReader.readLine(): java.lang.String -> java.lang.StringBuilder.toString(): java.lang.String -> java.lang.String.getBytes(): byte[] -> java.io.FileOutputStream.write(byte[]): void -> java.io.BufferedReader.close(): void -> java.io.FileOutputStream.close(): void [EXIT]