Index: trunk/tools/checkstyle/src/org/openstreetmap/josm/TopLevelJavadocCheck.java
===================================================================
--- trunk/tools/checkstyle/src/org/openstreetmap/josm/TopLevelJavadocCheck.java	(revision 12586)
+++ trunk/tools/checkstyle/src/org/openstreetmap/josm/TopLevelJavadocCheck.java	(revision 12587)
@@ -72,4 +72,5 @@
 
     private boolean hasProperText(DetailNode javadoc) {
+        if (javadoc == null) return false;
         for (DetailNode child : javadoc.getChildren()) {
             if (child.getType() == JavadocTokenTypes.TEXT) {
@@ -89,5 +90,5 @@
             foundTopLevelClass = true;
             if (!hasJavadoc(ast)) {
-                this.log(ast.getLineNo(), "no/incomplete Javadoc for top level class or interface");
+                this.log(ast.getLineNo(), "incomplete or missing Javadoc for top level class or interface");
             }
         }