mohitgargk/jCAE — comment on commit 7198641e0f9ac1f630c9541774eff421bdad026e
File:  line 0
By jeromerobert:

What's the behavior when using java.io.File then FileObject.refresh ?