public void testPRTXInCacheListenerRedundancy1() { basicPRTXInCacheListener(1); }
public void testPRTXInCacheListenerRedundancy0() { basicPRTXInCacheListener(0); }
public void testPRTXInCacheListenerRedundancy2() { basicPRTXInCacheListener(2); }
public void testPRTXInCacheListenerRedundancy1() { basicPRTXInCacheListener(1); }
public void testPRTXInCacheListenerRedundancy0() { basicPRTXInCacheListener(0); }
public void testPRTXInCacheListenerRedundancy2() { basicPRTXInCacheListener(2); }