correct java recognizer