src/main/java/eu/simstadt/regionchooser/RegionExtractor.java

@@ -88,6 +88,7 @@ static int selectRegionDirectlyFromCityGML(String wktPolygon, String srsName, Wr
 		}
 
 		LOGGER.info("Buildings found in selected region " + foundBuildingsCount);
+		//NOTE: This could be a problem if header starts with <core:CityModel> and footer ends with </CityModel>
 		sb.append(citygml.getFooter());
 		return foundBuildingsCount;
 	}

src/main/java/eu/simstadt/regionchooser/fast_xml_parser/ConvexHullCalculator.java

@@ -25,6 +25,10 @@
 {
 	private static final Logger LOGGER = Logger.getLogger(ConvexHullCalculator.class.getName());
 
+	private ConvexHullCalculator() {
+		throw new IllegalStateException("Utility class");
+	}
+
 	/**
 	 * Relatively fast method to extract a convex hull in WGS84 for any Citygml file for which CRS is known and whose
 	 * size is less than 2GB (VTD XML limitation). It iterates over every building, gets the bounding box as 4
@@ -92,7 +96,6 @@ public static void extractHullsForEveryCityGML(Path repository, Consumer<String>
 					try {
 						Path kmlPath = getHullPath(repository, gmlPath);
 						if (Files.exists(kmlPath)) {
-							//TODO: Check if size is the same as original. Recreate otherwise.
 							LOGGER.fine("Using cache from " + repository.relativize(kmlPath));
 							return new String(Files.readAllBytes(kmlPath), StandardCharsets.UTF_8);
 						} else {
@@ -101,8 +104,8 @@ public static void extractHullsForEveryCityGML(Path repository, Consumer<String>
 						}
 					} catch (IOException ex) {
 						ex.printStackTrace();
-					}
 						return null;
+					}
 				})
 				.filter(Objects::nonNull)
 				.forEach(hullKML -> {
@@ -190,6 +193,9 @@ public static String calculateConvexHullPlacemark(Path gmlPath, Path kmlPath, bo
 	 * folder and hides it. The '.cache' folder isn't specific to the project: every kml cache file is written inside the
 	 * same repository '.cache' folder.
 	 *
+	 * The original CityGML filesize is written in KML basename, in order to update the hull if the CityGML file is
+	 * modified, e.g. LoD2_564_5512_2_BY_11946489.kml
+	 *
 	 * @param repository
 	 * @param citygmlPath
 	 *
@@ -197,7 +203,8 @@ public static String calculateConvexHullPlacemark(Path gmlPath, Path kmlPath, bo
 	 * @throws IOException
 	 */
 	private static Path getHullPath(Path repository, Path citygmlPath) throws IOException {
-		String kmlFilename = citygmlPath.getFileName().toString().replaceAll("(?i)\\.gml$", ".kml");
+		String kmlFilename = citygmlPath.getFileName().toString().replaceAll("(?i)\\.gml$",
+				"_" + Files.size(citygmlPath) + ".kml");
 		Path cacheFolder = repository.resolve(".cache/");
 		Path hullsFolder = cacheFolder.resolve("hulls/");
 		Files.createDirectories(hullsFolder);

src/main/resources/eu/simstadt/regionchooser/website/script/simstadt_openlayers.js

@@ -285,12 +285,17 @@ var regionChooser = (function(){
 		draw.setActive(false);
 	});
 	
-	// Pressing ESCAPE or DELETE resets the drawing.
 	// With OpenLayers 3.9, draw_interaction.removeLastPoint(); might be better.
 	document.addEventListener('keydown', function(e) {
-		if (e.which == 27 || e.which == 46){
+		//NOTE: e.key isn't defined in JavaFX Browser
+		if (e.which == 27 || e.which == 46){ // ESCAPE or DELETE.
 			resetDrawing();
 		}
+		if (e.which == 116 && fromJavaFX){ // F5 for refresh
+			dataPanel.prepend("<h2 class='ok'>Refreshing repository...</h2><br/>\n");
+			document.documentElement.className = 'wait';
+			fxapp.refreshHulls();
+		}
 	});
 
 	function resetDrawing(){