java - 如何在不将转义字符转换为替代字符的情况下存储带有转义字符的字符串？

Question

我正在编写一个基于 Java 的程序，它从 GitHub 下载 JavaScript 文件，将其解析为字符串，然后将其推送到 MediaWiki 站点。问题是 JS 文件中有相当复杂的正则表达式，而 Java 正在将其解析为转义字符（例如[^\S\r\n]被解析为/\s. 有没有办法在不激活这些转义字符的情况下存储字符串？

编辑：代码：

package org.wikipedia.afchbuddy;

import java.io.IOException;
import static java.lang.System.*;
import java.nio.file.*;
import java.nio.ByteBuffer;
import java.nio.charset.Charset;
import java.nio.channels.*;
import java.net.URL;
import java.io.FileOutputStream;
import javax.security.auth.login.LoginException;

/**
 * This is a bot script designed to allow sysops to push releases for AFCH
 * on-wiki.
 *
 * @author Nathan2055
 */
public class AFCHBuddy {

    private static String username;
    private static String password;
    private static String location;
    private static String buffer;
    private static String error = "An error occured trying to access and write to Wikipedia. If you report this error, please provide the following debug info:";
    private static String basescript = "https://raw.github.com/WPAFC/afch/develop/src/";
    private static String basescript_stable = "https://raw.github.com/WPAFC/afch/master/src/";
    private static String mediawikilocation = "MediaWiki:Gadget-afchelper.js";

    /**
     * The main bot script.
     *
     * @param args This program accepts three command line arguments, 0 is the
     * push location (stable, beta, or testwiki), 1 is your username, and 2 is
     * your password.
     */
    public static void main(String[] args) {
        if (args.length != 3) {
            err.println("Incorrect number of arguments. Please see the README for more information.");
            System.exit(1);
        }

        location = args[0];
        username = args[1];
        password = args[2];

        switch (location) {
            case "testwiki":
                build("testwiki");
                break;
            case "beta":
                build("beta");
                break;
            case "stable":
                build("stable");
                break;
            default:
                err.println("Error: Unknown build location.");
                System.exit(1);
        }
    }

    /**
     * This method does the actual work of performing the edits.
     *
     * @param destarg The destination wiki.
     */
    private static void build(String destarg) {
        Wiki wiki;
        try {
            if ("testwiki".equals(destarg)) {
                wiki = new Wiki("test.wikipedia.org");
            } else {
                wiki = new Wiki();
            }

            wiki.login(username, password);

            downloadFile(basescript + "MediaWiki:Gadget-afchelper.js", "afch.js");
            buffer = readFile("afch.js");
            wiki.edit(mediawikilocation, buffer, "Update afch.js using AFCHBuddy");

            downloadFile(basescript + "MediaWiki:Gadget-afchelper.css", "afch.css");
            buffer = readFile("afch.css");
            wiki.edit("MediaWiki:Gadget-afchelper.css", buffer, "Update afch.css using AFCHBuddy");

            downloadFile(basescript + "core.js", "core.js");
            buffer = readFile("core.js");
            wiki.edit(mediawikilocation + "/core.js", buffer, "Update core.js using AFCHBuddy");

            downloadFile(basescript + "redirects.js", "redirects.js");
            buffer = readFile("redirects.js");
            wiki.edit(mediawikilocation + "/redirects.js", buffer, "Update redirects.js using AFCHBuddy");

            downloadFile(basescript + "submissions.js", "submissions.js");
            buffer = readFile("submissions.js");
            wiki.edit(mediawikilocation + "/submissions.js", buffer, "Update submissions.js using AFCHBuddy");

            downloadFile(basescript + "ffu.js", "ffu.js");
            buffer = readFile("ffu.js");
            wiki.edit(mediawikilocation + "/ffu.js", buffer, "Update ffu.js using AFCHBuddy");

            wiki.logout();

            err.println("Files syncronized successfully.");
            System.exit(0);
        } catch (IOException | LoginException e) {
            err.println(error);
            e.printStackTrace(err);
            System.exit(1);
        }
    }

    /**
     * Converts a file to a String.
     *
     * @param path This accepts the path of the file to be processed in String
     * form.
     * @return The output String.
     * @throws IOException The exception if something goes wrong while reading
     * the file.
     */
    private static String readFile(String path) throws IOException {
        byte[] encoded = Files.readAllBytes(Paths.get(path));
        return Charset.defaultCharset().decode(ByteBuffer.wrap(encoded)).toString();
    }

    /**
     * This downloads the input URL and saves it to dest.
     *
     * @param URL The file's location on the internet.
     * @param dest The file's soon to be location on your computer.
     * @throws IOException The exception if something goes wrong while
     * processing.
     */
    private static void downloadFile(String URL, String dest) throws IOException {
        URL website = new URL(URL);
        ReadableByteChannel rbc = Channels.newChannel(website.openStream());
        FileOutputStream fos = new FileOutputStream(dest);
        fos.getChannel().transferFrom(rbc, 0, Long.MAX_VALUE);
    }
}