Fix #827: Implement java.net.URI

I actually prefer this because

1. It is shorter
2. It is more restrictive

But maybe we should just stick to the convention...