diff --git a/src/demo/org/apache/lucene/demo/HTMLDocument.java b/src/demo/org/apache/lucene/demo/HTMLDocument.java
index 72ee49778ee..7e9145bd5fc 100644
--- a/src/demo/org/apache/lucene/demo/HTMLDocument.java
+++ b/src/demo/org/apache/lucene/demo/HTMLDocument.java
@@ -32,7 +32,7 @@ public class HTMLDocument {
     // separate the path from the date.
     return f.getPath().replace(dirSep, '\u0000') +
       "\u0000" +
-      DateField.timeToString(f.lastModified());
+      DateTools.timeToString(f.lastModified(), DateTools.Resolution.SECOND);
   }
 
   public static String uid2url(String uid) {