Workspace refresh provider for Zend Studio using the new File System API introduced in Java 7