javacc prefs fix