Method replaceEscapedRightAngle

output/java/1.4.17/Misc.java:146–173

Replace >\> with >> in s. Replace \>> unless prefix of \>>> with >>. Do NOT replace if it's <\\>

(String s)

     */

    public static String replaceEscapedRightAngle(String s) {
        StringBuilder buf = new StringBuilder();
        int i = 0;
        while ( i<s.length() ) {
            char c = s.charAt(i);
            if ( c=='<' && s.substring(i).startsWith("<\\\\>") ) {
                buf.append("<\\\\>");
                i += "<\\\\>".length();
                continue;
            }

            if ( c=='>' && s.substring(i).startsWith(">\\>") ) {
                buf.append(">>");
                i += ">\\>".length();
                continue;
            }

            if ( c=='\\'&& s.substring(i).startsWith("\\>>") &&
                !s.substring(i).startsWith("\\>>>") ) {
                buf.append(">>");
                i += "\\>>".length();
                continue;
            }
            buf.append(c);
            i++;
        }
        return buf.toString();
    }

    public static boolean urlExists(URL url) {
        try {