fixed NumberFormatException in LucenePlugin.getResultLimit()