# HG changeset patch
# User paulb
# Date 1094406580 0
# Node ID 5cf9e5c2e55ed8a5fe233e53060dafdc7d25b2f9
# Parent  1f45c2c8ccc4a89c254405eb6e9130f77f4934cd
[project @ 2004-09-05 17:49:40 by paulb]
Tidied Java imports.

diff -r 1f45c2c8ccc4 -r 5cf9e5c2e55e WebStack/JavaServlet.py
--- a/WebStack/JavaServlet.py	Sun Sep 05 17:44:19 2004 +0000
+++ b/WebStack/JavaServlet.py	Sun Sep 05 17:49:40 2004 +0000
@@ -7,14 +7,14 @@
 import Generic
 from StringIO import StringIO
 from Helpers.Request import Cookie, get_body_fields, get_storage_items, get_fields_from_query_string
-import javax.servlet.http.Cookie
+import javax.servlet.http
 
 # Form data decoding.
 
-import javax.mail.internet.MimeMessage
-import javax.mail.Session
-import java.util.Properties
-import java.net.URLDecoder
+import javax.mail.internet
+import javax.mail
+import java.util
+import java.net
 from WebStack.Generic import HeaderValue
 
 class Stream: