Add stub for ServerSocket.setPerformancePreferences().