#6 fix for new cvs log date format

[Felipe Hoffa]

The old cvs log date format could be parsed with this
java DateFormat string:
"yyyy/MM/dd HH:mm:ss zzz";

But now it works with this one:
"yyyy-MM-dd HH:mm:ss Z zzz";

[Richard Cyganiak]

Logged In: YES
user_id=584620

Felipe, it looks as if your patch file got lost. Could you please attach it
again?

[Felipe Hoffa]

Logged In: YES
user_id=618581

You are right. I'll upload it again on tuesday (I left it at
my workplace, and I won't go there on monday).

Thanks for noticing it.

[Felipe Hoffa]

patch

[Richard Cyganiak]

Logged In: YES
user_id=584620

The fix is in CVS. Thanks for your help!