in aws-serverless-java-container-core/src/main/java/com/amazonaws/serverless/proxy/internal/servlet/AwsServletRegistration.java [159:181]
public ServletConfig getServletConfig() {
return new ServletConfig() {
@Override
public String getServletName() {
return servletName;
}
@Override
public ServletContext getServletContext() {
return ctx;
}
@Override
public String getInitParameter(String s) {
return initParameters.get(s);
}
@Override
public Enumeration<String> getInitParameterNames() {
return Collections.enumeration(initParameters.keySet());
}
};
}