New TinyURL function using Java URL.
I *think* I need this for libautoman.