<?php
$projDetails = array(
	"/modeling/emf",
	"/modeling/emf/downloads",
	"/modeling",
	"EMF"
);
require_once ("../../includes/buildServer-common.php");
require($_SERVER["DOCUMENT_ROOT"] . "/modeling/includes/javadoc-common.php");
?>