-class Skipped extends Pattern {\r
- String s;\r
- Skipped(String s) { this.s = s; }\r
- public String toString() { return s+nextString(); }\r
- public int matchInternal(int pos,Pthings pt) {\r
- //if(pt.no_check || s.regionMatches(pt.ignoreCase,0,pt.src,pos,s.length()))\r
- if(pt.no_check || CaseMgr.regionMatches(s,pt.ignoreCase,0,pt.src,pos,s.length()))\r
- return nextMatch(pos+s.length(),pt);\r
- return -1;\r
+class Skipped\r
+ extends Pattern\r
+{\r
+ String s;\r
+ Skipped(String s)\r
+ {\r
+ this.s = s;\r
+ }\r
+\r
+ public String toString()\r
+ {\r
+ return s + nextString();\r
+ }\r
+\r
+ public int matchInternal(int pos, Pthings pt)\r
+ {\r
+ //if(pt.no_check || s.regionMatches(pt.ignoreCase,0,pt.src,pos,s.length()))\r
+ if (pt.no_check ||\r
+ CaseMgr.regionMatches(s, pt.ignoreCase, 0, pt.src, pos, s.length()))\r
+ {\r
+ return nextMatch(pos + s.length(), pt);\r