/**
* Constructs a JarVault with the given jar file manager.
* @param jarFileManager the jar file manager that encapsulates the underlying jar file.
*/
public JarVault(JarFileManager jarFileManager) {
super(new CALSourceJarStore(jarFileManager), new MetadataJarStore(jarFileManager),
new GemDesignJarStore(jarFileManager), new WorkspaceDeclarationJarStore(jarFileManager),
new EmptyResourceStore.Car(WorkspaceResource.CAR_RESOURCE_TYPE), // Cars are not supported in a JarVault
new UserResourceJarStore(jarFileManager));
this.jarFileManager = jarFileManager;
}