I've created a local repository using JGit API's. When all processing is done, I'd like to delete the local repo (which is a simple java.io.File). However File.delete() operation fails. I'm already calling
org.eclipse.jgit.api.Git.close()
org.eclipse.jgit.lib.Repository.close()
Is there any further cleanup required?