A java backend for supporting the behavior of CApp