--- old/test/ProblemList.txt 2012-07-03 14:21:56.063520415 +0800 +++ new/test/ProblemList.txt 2012-07-03 14:21:54.846424695 +0800 @@ -271,9 +271,6 @@ # 7140992 java/rmi/server/Unreferenced/finiteGCLatency/FiniteGCLatency.java generic-all -# 6948101 -java/rmi/transport/pinLastArguments/PinLastArguments.java generic-all - # 7146541 java/rmi/transport/rapidExportUnexport/RapidExportUnexport.java linux-all