diff -r 9cfc45235c27 -r a90982bbe8b4 src/Pure/Isar/token.scala
--- a/src/Pure/Isar/token.scala	Sat Apr 18 21:13:05 2015 +0200
+++ b/src/Pure/Isar/token.scala	Sat Apr 18 23:43:30 2015 +0200
@@ -259,8 +259,9 @@
   def is_begin: Boolean = is_keyword && source == "begin"
   def is_end: Boolean = is_command && source == "end"
 
+  // FIXME avoid hard-wired stuff
   def is_command_modifier: Boolean =
-    is_keyword && (source == "private" || source == "qualified")
+    is_keyword && (source == "public" || source == "private" || source == "qualified")
 
   def is_begin_block: Boolean = is_command && source == "{"
   def is_end_block: Boolean = is_command && source == "}"
@@ -273,4 +274,3 @@
     else if (kind == Token.Kind.COMMENT) Scan.Parsers.comment_content(source)
     else source
 }
-