private void refreshWebInf() throws CoreException { webInfDir.refreshLocal(IResource.DEPTH_ONE, null); }