automatic parallelization for java programs