Fix #827: Implement java.net.URI