<%@ page import="java.util.*" %> <%@ page import="java.io.*" %> <% response.sendRedirect("../laszlo-explorer/index.jsp?navset=nav10.xml&bookmark=Introduction"); %>