if (style != null) {
Main.info("Map style "+style.getDisplayString()+" has been modified. Reloading style...");
Main.worker.submit(new MapPaintStyleLoader(Collections.singleton(style)));
} else if (rule != null) {
Main.info("Validator rule "+rule.getDisplayString()+" has been modified. Reloading rule...");
MapCSSTagChecker tagChecker = OsmValidator.getTest(MapCSSTagChecker.class);
if (tagChecker != null) {
try {
tagChecker.addMapCSS(rule.url);
} catch (IOException | ParseException e) {
Main.warn(e);
}
}
} else if (Main.isDebugEnabled()) {