buffer.append(getSource());
        }
        if (getLineNumber() > 0) {
            if (!buffer.isEmpty()) {
                buffer.append(", ");
            }
            buffer.append("line ").append(getLineNumber());
        }
        if (getColumnNumber() > 0) {
            if (!buffer.isEmpty()) {
                buffer.append(", ");
            }