From 7f830c1d9ab3c7bdb5d9cd4ddb4657a63feaeef3 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Mon, 7 Jan 2013 17:55:13 +0100 Subject: [PATCH 1/1] Set the compression level for the jar help file. Save 150k Change-Id: Id2a0cfe3110414721c784e2b51c9a17602452776 --- .../scilab/modules/helptools/BuildJavaHelp.java | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/scilab/modules/helptools/src/java/org/scilab/modules/helptools/BuildJavaHelp.java b/scilab/modules/helptools/src/java/org/scilab/modules/helptools/BuildJavaHelp.java index 7761831..0ae0d7d 100644 --- a/scilab/modules/helptools/src/java/org/scilab/modules/helptools/BuildJavaHelp.java +++ b/scilab/modules/helptools/src/java/org/scilab/modules/helptools/BuildJavaHelp.java @@ -33,6 +33,7 @@ public final class BuildJavaHelp { private static final String RIGHT_PAR = " )"; private static final String JAR_EXT = ".jar"; private static final String SLASH = "/"; + private static final int JAR_COMPRESSION_LEVEL = 9; private static Indexer indexer = new Indexer(); /** @@ -70,13 +71,13 @@ public final class BuildJavaHelp { public static boolean buildJarImages(String inputDirectory, String outputDirectory) { JarOutputStream jarFile = null; FileOutputStream fileOutputStream = null; - final int compressionLevel = 5; + /* Stored into SCI/modules/helptools/jar */ String fileName = outputDirectory + SLASH + "scilab_images" + JAR_EXT; try { fileOutputStream = new FileOutputStream(fileName); jarFile = new JarOutputStream(fileOutputStream); - jarFile.setLevel(compressionLevel); + jarFile.setLevel(JAR_COMPRESSION_LEVEL); } catch (java.io.FileNotFoundException e) { System.err.println(COULD_NOT_FIND + fileName + LEFT_PAR + e.getLocalizedMessage() + RIGHT_PAR); } catch (java.io.IOException e) { @@ -125,7 +126,7 @@ public final class BuildJavaHelp { String baseName = Helpers.getBaseName(language); JarOutputStream jarFile = null; FileOutputStream fileOutputStream = null; - final int compressionLevel = 5; + /* Stored into SCI/modules/helptools/jar */ String fileName = outputDirectory + SLASH + baseName + JAR_EXT; /* bug 4407 */ @@ -141,7 +142,7 @@ public final class BuildJavaHelp { System.err.println(COULD_NOT_FIND + fileName + LEFT_PAR + e.getLocalizedMessage() + RIGHT_PAR); } - jarFile.setLevel(compressionLevel); + jarFile.setLevel(JAR_COMPRESSION_LEVEL); File[] allFiles = fileList.toArray(new File [fileList.size()]); for (int i = 0; i < allFiles.length; i++) { -- 1.7.9.5