A parallel algorithm for dynamic slicing of distributed Java programs in non-DSM systems