@Override
    public void refreshWithFilter(final GeocacheFilter filter) {
        mapOptions.filterContext.set(filter);
        refreshMapData(false, true);
    }
initialization with an empty subscription to make static code analysis tools more happy
main/src/main/java/cgeo/geocaching/maps/mapsforge/v6/NewMap.java