Implemetation of AREProtocol for Java