What javascript min tool does jquery use?

Question

I have a great deal of javascript that needs to be min'd before being served to the end user. Currently, I'm using JSMIN, but I'd like to switch to something a bit more powerful (such as something with local variable replacement). I'm currently looking at YUI min developed by yahoo, and it got me thinking about the min tool that jquery uses. Does anyone know what it is and if it's publicly available? Also, any recommendations on other min tools that might be better suited than YUI min? If possible, I'd like a java solution so I can just plug the library into what I've already created for the JSMIN solution.

Thanks

Answer 1

Here's a nice one that will do CSS as well.

https://jawr.dev.java.net/

Answer 2

in jQuery 1.4, Google Closure Compiler is used

Answer 3

If you look at the build folder in the trunk you can see they've been using YUI since Jan. 09