import java.io.IOException;
import javax.servlet.ServletException;
import javax.servlet.ServletContext;

final class _C  // данный класс используется только при компиляции
{
  public final static String
    POOL_SIZE = "сервлет.pool.size";
    
  public final static int
    POOL_SIZE_MIN = 10,
    POOL_SIZE_MAX = 500,
    POOL_SIZE_DEFAULT = 250;
}

public final class Сервлет extends javax.servlet.http.HttpServlet
{
  @Override public void init() throws ServletException
  {
    int poolSize = -1;
    final String prefix = "[init]";
    ServletContext ctx = getServletContext();
    
    String value = ctx.getInitParameter(POOL_SIZE);
    if (null == value) value = "";
    if ("".equals(value)) {
      log(prefix + " WARN: '" + POOL_SIZE + "' is empty");
      poolSize = POOL_SIZE_DEFAULT;
    }
    else {
      String msg = prefix + ": '" + POOL_SIZE + "' must be in range " +
                   POOL_SIZE_MIN + " - " + POOL_SIZE_MAX;
      try {
        poolSize = Integer.parseInt(value);
      }
      catch (NumberFormatException ex) {
        throw new ServletException(msg);
      }
      if (POOL_SIZE_MIN > poolSize || POOL_SIZE_MAX < poolSize) throw new ServletException(msg);
    }
    log(prefix + ": '" + POOL_SIZE + "' set to '" + poolSize + "'");
  }
}