--- old/test/ProblemList.txt 2013-11-26 11:50:04.006798514 +0800 +++ new/test/ProblemList.txt 2013-11-26 11:50:03.810798504 +0800 @@ -231,9 +231,6 @@ # 7146541 java/rmi/transport/rapidExportUnexport/RapidExportUnexport.java linux-all -# 7190106 -java/rmi/reliability/benchmark/runRmiBench.sh generic-all - # 7191877 java/rmi/transport/checkLeaseInfoLeak/CheckLeaseLeak.java generic-all