result.append(path.substring(0, size - used));
result.append(path.substring(0, size - pathIdxWidth));
    public String getColumn(Path p) {        final int size = 30;        final String path = p.getPath();        if (path.length() <= size) {            return path;        }        final int pathIndex = m_paths.indexOf(p);        // compute number of digits required for pathIndex        int used = 0;        for (int i = pathIndex; i > 0; i /= 10) { used++; }        StringBuffer result = new StringBuffer(size);        result.append(path.substring(0, size - used));        result.append(pathIndex);        return result.toString();    }