reduce number of forks to fix some timeout errors caused by deadlocks
somewhere in the code or in owlapi