Java Servlet API 4.0.1 Source Code Files are important if you want to compile them with different JDK releases.

You can get Java Servlet API 4.0.1 Source Code Files from Servlet API Maven Website in the "4.0.1/" folder.

You can also browse Java Servlet API 4.0.1 Source Code files below:

⏎ javax/servlet/ServletRequestEvent.java

/*
 * Copyright (c) 1997-2018 Oracle and/or its affiliates. All rights reserved.
 * Copyright 2004 The Apache Software Foundation
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

package javax.servlet;

/** 
 * Events of this kind indicate lifecycle events for a ServletRequest.
 * The source of the event is the ServletContext of this web application.
 *
 * @see ServletRequestListener
 * @since Servlet 2.4
 */
public class ServletRequestEvent extends java.util.EventObject { 

    private static final long serialVersionUID = -7467864054698729101L;

    private final transient ServletRequest request;

    /** Construct a ServletRequestEvent for the given ServletContext
      * and ServletRequest.
      *
      * @param sc       the ServletContext of the web application.
      * @param request  the ServletRequest that is sending the event.
      */
    public ServletRequestEvent(ServletContext sc, ServletRequest request) {
        super(sc);
        this.request = request;
    }

    /**
      * Returns the ServletRequest that is changing.

      * @return the {@link ServletRequest} corresponding to this event.
      */
    public ServletRequest getServletRequest () { 
        return this.request;
    }

    /**
      * Returns the ServletContext of this web application.
      *
      * @return the {@link ServletContext} for this web application.
      */
    public ServletContext getServletContext () { 
        return (ServletContext) super.getSource();
    }
}

⏎ javax/servlet/ServletRequestEvent.java

Or download all of them as a single archive file:

File name: javax.servlet-api-4.0.1-sources.jar
File size: 203006 bytes
Release date: 2018-04-20
Download 

⇒ Download javax.servlet-api-3.0.1.jar

⇐ Download javax.servlet-api-4.0.1.jar

⇑ Downloading servlet-api.jar - Java Servlet API

⇑⇑ FAQ for Java Servlet API