Changes and additional files for RMI profiling