Помогите, пожалуйста, преобразовать следующий код PHP в JSP
<?php
$url = $_REQUEST['url'];
if(isset($_GET['page']))
{
if( $_GET['page'] == '' )
{
header('Location:'.$url);
}
else
{
$_REQUEST['page'] = $_REQUEST['page'];
header('Location: '.$url.'?page=#'.$_REQUEST['page']);
}
}
?>
Мне не удалось найти замену функции Isset в PHP и тега местоположения заголовка в PHP, используемого для перенаправления в JSP