A backport of jrtfs.jar for 1.7