A Java implementation of the Pi-Calculus