From f4a85d495cfc25dedd81d40098675217311f7fcb Mon Sep 17 00:00:00 2001
From: Oleg Sukhodolsky <os97673@gmail.com>
Date: Fri, 20 Jun 2003 08:51:47 +0000
Subject: [PATCH] Fix for bug#755744

---
 docs/releasenotes.html                                | 3 +++
 src/checkstyle/com/puppycrawl/tools/checkstyle/java.g | 3 ++-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/docs/releasenotes.html b/docs/releasenotes.html
index cd9ff0363..72c4cf25e 100644
--- a/docs/releasenotes.html
+++ b/docs/releasenotes.html
@@ -114,6 +114,9 @@
 
         <li class="body">Fixed grammar problems with unclosed string
         literals and multiple-lines comments (bug 694111)</li>
+
+        <li class="body">Fixed grammar definition for identifiers to
+        handle all Unicode symbols (bug 755744)</li>
       </ul>
 
 
diff --git a/src/checkstyle/com/puppycrawl/tools/checkstyle/java.g b/src/checkstyle/com/puppycrawl/tools/checkstyle/java.g
index 56a3094b1..07f070c7c 100644
--- a/src/checkstyle/com/puppycrawl/tools/checkstyle/java.g
+++ b/src/checkstyle/com/puppycrawl/tools/checkstyle/java.g
@@ -1148,7 +1148,8 @@ VOCAB
 // if it's a literal or really an identifer
 IDENT
 	options {testLiterals=true;}
-	:	('a'..'z'|'A'..'Z'|'_'|'$') ('a'..'z'|'A'..'Z'|'_'|'0'..'9'|'$')*
+	:	('a'..'z'|'A'..'Z'|'_'|'$'| {Character.isJavaIdentifierStart(LA(1))}? '\u0080'..'\uFFFE')
+                ('a'..'z'|'A'..'Z'|'_'|'0'..'9'|'$'| {Character.isJavaIdentifierPart(LA(1))}? '\u0080'..'\uFFFE')*
 	;