+<?xml version="1.0" encoding="UTF-8"?>
+<?eclipse version="3.4"?>
+<plugin>
+ <extension
+ point="org.eclipse.ui.preferencePages">
+ <page
+ category="org.simantics.district.network.ui.preferences"
+ class="org.simantics.maps.elevation.server.ui.MapsElevationServerPreferencePage"
+ id="org.simantics.maps.elevation.server.ui.preferences"
+ name="Elevation server">
+ </page>
+ </extension>
+</plugin>