Which Javascript minifier (cruncher) does the same things that the one Google uses for its JS APIs?

Question

I am a Google Maps API (javascript) developer. I have noticed that Google uses a Javascript minifier that has the following features:

1. Shortens variables, prope

Answer 1

A simple online javascript minifier based on dojo's shrink safe can be found at http://netspurt.com