Performance comparison between RMI and REST calls