Processed: tagging 710743

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 710743 + wontfix
Bug #710743 [libservlet2.5-java] libservlet2.5-java: Unable to locate servlet-api in /usr/share/java
Added tag(s) wontfix.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
710743: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=710743
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems