Experimental implementation of join calculus in Java for Android