fig1_malicious-RMI-server-started