private void printRawError(int pos, String msg) {
        if (!findLine(pos)) {
            printLines(errWriter, "error: " + msg);
        } else {
            JavaFileObject file = currentSource();
            if (file != null)
                printLines(errWriter,
                           file.getName() + ":" +
                           line + ": " + msg);
            printErrLine(pos, errWriter);
        }
        errWriter.flush();
    }