[infer][java] Add a model for Process.destroyForcibly()

Reviewed By: sblackshear

Differential Revision: D4506823

fbshipit-source-id: 6016744

infer/models/java/src/java/lang/Process.java

@@ -55,6 +55,11 @@ public abstract class Process {
         } catch (IOException e) {}*/
     }
 
+    public Process destroyForcibly() {
+      destroy();
+      return this;
+    }
+
     private static class ProcessInputStream extends FileInputStream {
 
         private FileDescriptor fd;

infer/tests/codetoanalyze/java/infer/ResourceLeaks.java

@@ -884,6 +884,15 @@ public class ResourceLeaks {
     }
   }
 
+  void processForciblyDestroyed() throws IOException {
+    Process process = null;
+    try {
+      process = Runtime.getRuntime().exec("");
+    } finally {
+      ignore(process.destroyForcibly());
+    }
+  }
+
   class Container {
     FileInputStream inputStream;
   }