--- a/tools/JavaParserI.st	Fri Aug 30 12:12:44 2013 +0100
+++ b/tools/JavaParserI.st	Fri Aug 30 12:19:02 2013 +0100
@@ -8,7 +8,7 @@
 		commentTail charactersInLine commentTailStar notStar
 		notStarNotSlash inputCharacter booleanLiteral nullLiteral
 		keywords floatingPointLiteral integerLiteral characterLiteral
-		stringLiteral input operators separators block'
+		stringLiteral input operators separators block scanner'
 	classVariableNames:'Debugging'
 	poolDictionaries:''
 	category:'Languages-Java-Parser'
@@ -100,7 +100,9 @@
 
 namesToIgnore
 
-	^#('keywords' 'operators' 'separators')
+    ^#('keywords' 'operators' 'separators' 'scanner')
+
+    "Modified (format): / 30-08-2013 / 02:32:29 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 ! !
 
 !JavaParserI methodsFor:'accessing'!
@@ -729,8 +731,6 @@
 parse: anObject
     "Parse anObject with the receiving parser and answer the parse-result or an instance of PPFailure."
 
-    | scanner |
-
     (anObject isKindOf: JavaScanner) ifFalse:[
         scanner := JavaScanner for: anObject readStream.
     ] ifTrue:[
@@ -740,6 +740,7 @@
     ^super parse: scanner
 
     "Created: / 15-03-2012 / 11:10:53 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified (format): / 30-08-2013 / 02:32:09 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 ! !
 
 !JavaParserI methodsFor:'private'!