public static void requestResynchronization(final Folder source, final File target, final boolean doSync) {
            synchronized (syncTaskMutex) {
                if (syncTask == null || !syncTask.requestAfter(doSync ? MapThemeFolderSynchronizer.AfterSyncRequest.REDO : MapThemeFolderSynchronizer.AfterSyncRequest.ABORT_DELETE)) {
                    Log.i("[MapThemeFolderSync] start synchronization " + source + " -> " + target);
                    syncTask = new MapThemeFolderSynchronizer(source, target, doSync);
                    syncTask.execute();
                }
            }
        }
Calculates a xml theme name fit for user display (in dropdown etc)

@param file    theme file name
@param zipPath if theme file is a ZIP, then this contains the zip-internal path to the xml. Otherwise null
@return user display theme name
main/src/main/java/cgeo/geocaching/maps/mapsforge/v6/RenderThemeHelper.java