io.vertx is Eclipse project code.

Change-Id: If80bb038937248d777ff8937742d69feef060226
Signed-off-by: Wayne Beaton <wayne.beaton@eclipse-foundation.org>
diff --git a/project_activity.php b/project_activity.php
index b016a28..0c112cb 100644
--- a/project_activity.php
+++ b/project_activity.php
@@ -15,7 +15,6 @@
 	require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/menu.class.php");
 
 	$App = new App();
-	$Nav = new Nav();
 	$Menu = new Menu();
 	include($App->getProjectCommon());