if (ident.equals(RawExecutionCode.receiveMethod)) print("(void*)&");
    public void visitMethodCallExpression(JMethodCallExpression self,                                          JExpression prefix,                                          String ident,                                          JExpression[] args) {        /*          if (ident != null && ident.equals(JAV_INIT)) {          return; // we do not want generated methods in source code          }        */        print(ident);        print("(");	//if we are visiting a static network receive 	//add the void* cast and the address expression	//see RawExectionCode	if (ident.equals(RawExecutionCode.receiveMethod))	    print("(void*)&");        int i = 0;        /* Ignore prefix, since it's just going to be a Java class name.        if (prefix != null) {            prefix.accept(this);            i++;        }        */        visitArgs(args, i);        print(")");    }