J2EE Setup Tutorial - <?php echo getEntryName($page); ?>

'; if ($page > 0) { echo ''; echo getEntryName($page - 1); echo ''; } echo 'Table of Contents'; if ($page < getLastEntryIndex()) { echo '

'; } echo ''; } function screenshot($name) { global $page; $id = getEntryIdentity($page); echo '

'; } ?> J2EE Setup Tutorial - <?php echo getEntryName($page); ?>