[infer][java] cleanup of the java.lang.Process model
[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

jvillard/infer,jvillard/infer,blzq/infer,jvillard/infer,blzq/infer,blzq/infer,facebook/infer,ropas/infer,ropas/infer,facebook/infer,facebook/infer,jsachs/infer,ryoon/infer,jsachs/infer,blzq/infer,jsachs/infer,facebook/infer,ropas/infer,ropas/infer,ryoon/infer,ryoon/infer,jsachs/infer,ryoon/infer,jsachs/infer,facebook/infer,ropas/infer,ryoon/infer,jvillard/infer,jsachs/infer,facebook/infer,jvillard/infer,ryoon/infer,ropas/infer,blzq/infer,facebook/infer,blzq/infer,jvillard/infer,jvillard/infer