A Java implementation of the pi calculus