#fixed code
                             public static void zip(List<File> runtimeLibFiles, File saturnContainerDir, File zipFile) throws IOException {
		ZipOutputStream zos = new ZipOutputStream(new FileOutputStream(zipFile));
/*		for(File file : saturnContainerDir.listFiles()) {
			zip(file, "saturn", zos);
		}*/
		
		
		for(File file : runtimeLibFiles) {
			zip(file, "app"+fileSeparator+"lib", zos);
		}
		zos.close();
	}
#vulnerable code 
                             public static void zip(List<File> runtimeLibFiles, File saturnContainerDir, File zipFile) throws IOException {
		ZipOutputStream zos = new ZipOutputStream(new FileOutputStream(zipFile));
		for(File file : saturnContainerDir.listFiles()) {
			zip(file, "saturn", zos);
		}
		
		
		for(File file : runtimeLibFiles) {
			zip(file, "app"+fileSeparator+"lib", zos);
		}
		zos.close();
	} 
                            #location 3 
                            #vulnerability type NULL_DEREFERENCE