More improvements to Groovy auto-reload