Index: src/org/openstreetmap/josm/io/GeoJSONWriter.java
===================================================================
--- src/org/openstreetmap/josm/io/GeoJSONWriter.java	(revision 9059)
+++ src/org/openstreetmap/josm/io/GeoJSONWriter.java	(working copy)
@@ -67,7 +67,8 @@
         try (JsonWriter writer = Json.createWriterFactory(config).createWriter(stringWriter)) {
             JsonObjectBuilder object = Json.createObjectBuilder()
                     .add("type", "FeatureCollection")
-                    .add("crs", Json.createObjectBuilder().add("type", "name").add("name", projection.toCode()))
+                    .add("crs", Json.createObjectBuilder().add("type", "name")
+                            .add("properties", Json.createObjectBuilder().add("name", projection.toCode())))
                     .add("generator", "JOSM");
             appendLayerBounds(layer.data, object);
             appendLayerFeatures(layer.data, object);