private double getPropertyAsDouble( JsonObject properties, String propertyName ) {
double result = -1;
JsonValue value = properties.get( propertyName );
if( value.isNumber() ) {
result = value.asDouble();
}
return result;
}
private PositionError getPositionError( JsonObject properties ) {