Fix #827: Implement java.net.URI

I would prefer "orig", then.