jEdit freezes on regexpr "||"