*
     * @param path The filesystem path, may be <code>null</code>.
     * @return The altered filesystem path or <code>null</code> if the input path was <code>null</code>.
     */
    private String chopLeadingFileSeparator(String path) {
        if (path != null) {
            if (path.startsWith("/") || path.startsWith("\\")) {