An implementation of a process migration system for Java