JS Minifier used for the maps plugin

Hi, great plugin you created. I have a question about the minfier that you used for the js. Which one did you use? I have a few changes that I would like to make and then minify, but would rather use the same minifier that you used for the original code.

Thanks!

http://ww.wp.xz.cn/extend/plugins/comprehensive-google-map-plugin/