Read system properties in a more clean manner

1 files changed, 2 insertions, 17 deletions

diff --git a/java/io/PipedInputStream.java b/java/io/PipedInputStream.java
index 692204320..c7e20022f 100644
--- a/java/io/PipedInputStream.java
+++ b/java/io/PipedInputStream.java
@@ -72,23 +72,8 @@ private static boolean try_not_to_block = false;
 
 static
 {
-  String pipe_prop = System.getProperty("gnu.java.io.PipedInputStream.pipe_size");
-
-  if (pipe_prop == null)
-    {
-      pipe_size = PIPE_SIZE;
-    }
-  else
-    {
-      try
-        {
-          pipe_size = Integer.parseInt(pipe_prop);
-        }
-      catch (NumberFormatException e)
-        {
-          pipe_size = PIPE_SIZE;
-        }
-    }
+  pipe_size = Integer.getInteger("gnu.java.io.PipedInputStream.pipe_size",
+                                 PIPE_SIZE).intValue();
 
   String block_prop = System.getProperty("gnu.java.io.try_not_to_block");
   if (block_prop != null)