Bug fix in jsp compilation