Kleine aanpassingen aan JSTL.jsp