01 import java.io.*;  02 import java.awt.*;  03 import javax.servlet.*;  04 import javax.servlet.http.*;  05  06 import Acme.JPM.Encoders.GifEncoder;  07  08 public class HelloWorld extends HttpServlet {  09  10  public void doGet(HttpServletRequest req, HttpServletResponse res)  11                  throws ServletException, IOException {  12  13     // binárny výstup!  14     ServletOutputStream out = res.getOutputStream();  15    16     Frame frame = null;  17     Graphics g = null;  18    19     try {  20      // vytvoríme frame  21      frame = new Frame();  22      frame.addNotify();  23    24      // vytvoríme image použitím framu  25      Image image = frame.createImage(400, 60);  26      g = image.getGraphics();  27    28      // zapíšeme reťazec HelloWorld!  29      g.setFont(new Font("Serif", Font.ITALIC, 48));  30      g.drawString("Hello World!", 10, 50);  31    32      // vytvorený image zakódujeme do formátu GIF  33      // a pošleme ho klientovi  34      res.setContentType("image/gif");  35      GifEncoder encoder = new GifEncoder(image, out);  36      encoder.encode();  37     }  38     finally {  39      // uvoľníme zdroje  40      if (g != null) g.dispose();  41      if (frame != null) frame.removeNotify();  42     }  43   }  44 }