check for no zip file

plugins/org.eclipse.wtp.releng.tools/src/org/eclipse/wtp/releng/tools/UpdatePackPropertiesFile.java

@@ -286,51 +286,58 @@ public class UpdatePackPropertiesFile extends Task {
 		byte[] buf = new byte[1024];
 		ZipInputStream zipinputstream = null;
 		ZipEntry zipentry;
-		zipinputstream = new ZipInputStream(new FileInputStream(zipfilename));
 
-		// make sure destination exists
-		File dir = new File(destinationdirectory);
-		boolean success = dir.mkdirs();
-		if (success) {
+		File testFile = new File(zipfilename);
+		if (!testFile.exists()) {
+			log("Zip file, " + zipfilename + ", does not exist.");
+		}
+		else {
+			zipinputstream = new ZipInputStream(new FileInputStream(zipfilename));
 
+			// make sure destination exists
+			File dir = new File(destinationdirectory);
+			boolean success = dir.mkdirs();
+			if (success) {
 
-			zipentry = zipinputstream.getNextEntry();
-			while (zipentry != null) {
-				// for each entry to be extracted
-				String entryName = zipentry.getName();
-				log("entryname: " + entryName, Project.MSG_DEBUG);
-				int n;
-				FileOutputStream fileoutputstream;
 
+				zipentry = zipinputstream.getNextEntry();
+				while (zipentry != null) {
+					// for each entry to be extracted
+					String entryName = zipentry.getName();
+					log("entryname: " + entryName, Project.MSG_DEBUG);
+					int n;
+					FileOutputStream fileoutputstream;
 
 
-				String fullname = destinationdirectory + entryName;
-				if (zipentry.isDirectory()) {
-					// we assume folder entries come before their files.
-					// not sure that's always true?
-					File newDir = new File(fullname);
-					newDir.mkdirs();
-				}
-				else {
-					File newFile = new File(fullname);
 
-					fileoutputstream = new FileOutputStream(newFile);
+					String fullname = destinationdirectory + entryName;
+					if (zipentry.isDirectory()) {
+						// we assume folder entries come before their files.
+						// not sure that's always true?
+						File newDir = new File(fullname);
+						newDir.mkdirs();
+					}
+					else {
+						File newFile = new File(fullname);
 
-					while ((n = zipinputstream.read(buf, 0, 1024)) > -1)
-						fileoutputstream.write(buf, 0, n);
-					fileoutputstream.close();
-				}
+						fileoutputstream = new FileOutputStream(newFile);
 
-				zipinputstream.closeEntry();
-				zipentry = zipinputstream.getNextEntry();
+						while ((n = zipinputstream.read(buf, 0, 1024)) > -1)
+							fileoutputstream.write(buf, 0, n);
+						fileoutputstream.close();
+					}
 
-			}// while
+					zipinputstream.closeEntry();
+					zipentry = zipinputstream.getNextEntry();
 
-			zipinputstream.close();
-		}
+				}// while
 
-		else {
-			throw new BuildException("Could not create directory: " + destinationdirectory);
+				zipinputstream.close();
+			}
+
+			else {
+				throw new BuildException("Could not create directory: " + destinationdirectory);
+			}
 		}
 	}