CSP, Java