Blocking bug W3C::Util::W3CDebugCGI

Hi Eric,
I downloaded annotea server v1.1 and installed it but since the
1st of April the use of

     my $dateStr = `date`;
     if ($dateStr !~ m/^(\w+) (\w+)\s+(\d+) (\d+):(\d+):(\d+) (?:(\w+) )?(\d+)$/) {
          &throw(new W3C::Util::Exception(-message => "bad date \"$dateStr\""));
     }

in W3C::Util::W3CDebugCGI (around line 54) throws an exception on my
machine due
to the fact that we now have Day Saving Time  in place.
The output of date on my machine is for example:
     Thu Apr  4 15:02:17 MET DST 2002
and the RE in the if clause does not expect 'DST'

I modified it as follows (removed timezone being optional in RE):
     my $dateStr = `date '+%a %b %e %T %Y'`
but it may be better to modify the RE.

Hope it helps
Bye

Enrico Spinielli