corretto web servlet allocation