JSP编码

求助下面的php代码怎么转换成jsp
session_start();
if( ! ( isset($_SESSION['adminId']) and isset($_SESSION['adminName']) and isset($_SESSION['adminPwd']) ) )
header("location:login.html");