From c902068c4f560e4a632a3f48f68bd5804fdd70ad Mon Sep 17 00:00:00 2001
From: Jeremy Dubreil <jrm@fb.com>
Date: Mon, 6 Feb 2017 11:53:11 -0800
Subject: [PATCH] [infer][java] cleanup of the java.lang.Process model

Summary: Not clear why we need to disable this case and in which case is Infer creating too many disjunctions.

Reviewed By: sblackshear

Differential Revision: D4509394

fbshipit-source-id: fbc106d
---
 infer/models/java/src/java/lang/Process.java | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/infer/models/java/src/java/lang/Process.java b/infer/models/java/src/java/lang/Process.java
index a40ed2b2f..2892a6b88 100644
--- a/infer/models/java/src/java/lang/Process.java
+++ b/infer/models/java/src/java/lang/Process.java
@@ -18,13 +18,13 @@ public abstract class Process {
   protected final int pid;
   protected final InputStream inputStream;
   protected final OutputStream outputStream;
-  //protected final InputStream errorStream;
+  protected final InputStream errorStream;
 
   public Process(int pid, FileDescriptor in, FileDescriptor out, FileDescriptor err) {
         this.pid = pid;
         this.inputStream = new ProcessInputStream(in);
         this.outputStream = new ProcessOutputStream(out);
-        //this.errorStream = new ProcessInputStream(err); // causes too many case splits for now
+        this.errorStream = new ProcessInputStream(err);
     }
     public int exitValue() {
         return InferUndefined.int_undefined();
@@ -49,10 +49,9 @@ public abstract class Process {
         try {
             outputStream.close();
         } catch (IOException e) {}
-        // causes too many case splits for now
-        /*try {
+        try {
             errorStream.close();
-        } catch (IOException e) {}*/
+        } catch (IOException e) {}
     }
 
     public Process destroyForcibly() {