Library JSTL modified