import java.nio.charset.Charset
import java.util.concurrent.TimeUnit
config = [
rule_paths : [
"/home/paulo/Documentos",
"/opt/paulo/rules"
],
file_patterns : [
[
extension : "tex",
pattern : "\\s*%\\s+"
],
[
extension : "dtx",
pattern : "\\s*%\\s+"
]
],
directive_charset : Charset.forName("UTF-8"),
maximum_number_of_loops : 10,
halt_on_error : false,
database_name : "araradb",
log_name : "araralog",
timeout : 10,
timeout_unit : TimeUnit.SECONDS,
verbose_mode : true,