/usr/local/poudriere/data/packages/e24a8cae34360705d022f17584bb6b4507b8eb89-build1/All/jakarta-regexp-1.5_3.txz vs.
/usr/local/poudriere/data/packages/e24a8cae34360705d022f17584bb6b4507b8eb89-build2/All/jakarta-regexp-1.5_3.txz
jakarta-regexp-1.5_3.txz-content
+MANIFEST
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 {"name":​"jakarta-​regexp",​"origin":​"java/​jakarta-​regexp",​"version":​"1.​5_3",​"comment":​"Regular·​expressions·​for·​Java",​"maintainer":​"ports@FreeBSD.​org",​"www":​"http:​/​/​jakarta.​apache.​org/​regexp/​",​"abi":​"FreeBSD:​11:​amd64",​"arch":​"freebsd:​11:​x86:​64",​"prefix":​"/​usr/​local",​"flatsize":​685206,​"licenselogic":​"single",​"desc":​"A·​100%25·​Pure·​Java·​Regular·​Expression·​package·​by·​Jonathan·​Locke.​\n\nWWW:​·​http:​/​/​jakarta.​apache.​org/​regexp/​",​"deps":​{"openjdk8":​{"origin":​"java/​openjdk8",​"version":​"8.​92.​14"}},​"categories":​["devel",​"java"],​"options":​{"DOCS":​"on"},​"files":​{"/​usr/​local/​share/​java/​classes/​jakarta-​regexp.​jar":​"1$7f10ea9407601a6b40​cb78a5603b25446be1871​a28daf976352fc42b4de8​e998",​"/​usr/​local/​share/​doc/​jakarta-​regexp/​allclasses-​frame.​html":​"1$5c73935266ae8b2d12​65727e54f2c33ac8ca5a1​6cb0ae28cec728bd0fc81​65c2",​"/​usr/​local/​share/​doc/​jakarta-​regexp/​allclasses-​noframe.​html":​"1$b9ae09722542f04faa​47b85ed0892c08e5da86b​61a2e9d390c4fc0a7b6b0​f6d7",​"/​usr/​local/​share/​doc/​jakarta-​regexp/​constant-​values.​html":​"1$f6a7858ffd3a0ec0fb​2f6bcbd1ae08·​✂1 {"name":​"jakarta-​regexp",​"origin":​"java/​jakarta-​regexp",​"version":​"1.​5_3",​"comment":​"Regular·​expressions·​for·​Java",​"maintainer":​"ports@FreeBSD.​org",​"www":​"http:​/​/​jakarta.​apache.​org/​regexp/​",​"abi":​"FreeBSD:​11:​amd64",​"arch":​"freebsd:​11:​x86:​64",​"prefix":​"/​usr/​local",​"flatsize":​685206,​"licenselogic":​"single",​"desc":​"A·​100%25·​Pure·​Java·​Regular·​Expression·​package·​by·​Jonathan·​Locke.​\n\nWWW:​·​http:​/​/​jakarta.​apache.​org/​regexp/​",​"deps":​{"openjdk8":​{"origin":​"java/​openjdk8",​"version":​"8.​92.​14"}},​"categories":​["devel",​"java"],​"options":​{"DOCS":​"on"},​"files":​{"/​usr/​local/​share/​java/​classes/​jakarta-​regexp.​jar":​"1$7f10ea9407601a6b40​cb78a5603b25446be1871​a28daf976352fc42b4de8​e998",​"/​usr/​local/​share/​doc/​jakarta-​regexp/​allclasses-​frame.​html":​"1$f55013175cb89642da​1b25ae74baa2472bc131e​03d2d45e78f452b258e1f​d121",​"/​usr/​local/​share/​doc/​jakarta-​regexp/​allclasses-​noframe.​html":​"1$a47f7d1388d43458ee​621121eea31792452028d​f7cb5fa930cd8621f5dc0​347c",​"/​usr/​local/​share/​doc/​jakarta-​regexp/​constant-​values.​html":​"1$31aaedd5c1ef3359f6​3d1b963d5985·​✂
/usr/local/share/doc/jakarta-regexp/allclasses-frame.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​22·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>All·​Classes·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>All·​Classes·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href="stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href="stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src="script.​js"></​script>9 <script·​type="text/​javascript"·​src="script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <h1·​class="bar">All&nbsp;​Classes</​h1>12 <h1·​class="bar">All&nbsp;​Classes</​h1>
13 <div·​class="indexContainer​">13 <div·​class="indexContainer​">
14 <ul>14 <ul>
/usr/local/share/doc/jakarta-regexp/allclasses-noframe.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​22·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>All·​Classes·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>All·​Classes·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href="stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href="stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src="script.​js"></​script>9 <script·​type="text/​javascript"·​src="script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <h1·​class="bar">All&nbsp;​Classes</​h1>12 <h1·​class="bar">All&nbsp;​Classes</​h1>
13 <div·​class="indexContainer​">13 <div·​class="indexContainer​">
14 <ul>14 <ul>
/usr/local/share/doc/jakarta-regexp/constant-values.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​45·​GMT·​2016·​-​-​>
6 <title>Constant·​Field·​Values·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Constant·​Field·​Values·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href="stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href="stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src="script.​js"></​script>9 <script·​type="text/​javascript"·​src="script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/deprecated-list.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​22·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Deprecated·​List·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Deprecated·​List·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href="stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href="stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src="script.​js"></​script>9 <script·​type="text/​javascript"·​src="script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/help-doc.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​22·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>API·​Help·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>API·​Help·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href="stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href="stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src="script.​js"></​script>9 <script·​type="text/​javascript"·​src="script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/index-all.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​22·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Index·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Index·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href="stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href="stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src="script.​js"></​script>9 <script·​type="text/​javascript"·​src="script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/index.html
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Frameset/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​frameset.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Frameset/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​frameset.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​22·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Jakarta-​Regexp·​1.​5·​API</​title>6 <title>Jakarta-​Regexp·​1.​5·​API</​title>
7 <script·​type="text/​javascript">7 <script·​type="text/​javascript">
8 ····​targetPage·​=·​""·​+·​window.​location.​search;​8 ····​targetPage·​=·​""·​+·​window.​location.​search;​
9 ····​if·​(targetPage·​!=·​""·​&&·​targetPage·​!=·​"undefined")​9 ····​if·​(targetPage·​!=·​""·​&&·​targetPage·​!=·​"undefined")​
10 ········​targetPage·​=·​targetPage.​substring(1)​;​10 ········​targetPage·​=·​targetPage.​substring(1)​;​
11 ····​if·​(targetPage.​indexOf(":​")​·​!=·​-​1·​||·​(targetPage·​!=·​""·​&&·​!validURL(targetPage)​)​)​11 ····​if·​(targetPage.​indexOf(":​")​·​!=·​-​1·​||·​(targetPage·​!=·​""·​&&·​!validURL(targetPage)​)​)​
12 ········​targetPage·​=·​"undefined";​12 ········​targetPage·​=·​"undefined";​
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/recompile.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​17·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​43·​GMT·​2016·​-​-​>
6 <title>recompile·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>recompile·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/REDebugCompiler.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​17·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​43·​GMT·​2016·​-​-​>
6 <title>REDebugCompile​r·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>REDebugCompile​r·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/package-tree.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​45·​GMT·​2016·​-​-​>
6 <title>org.​apache.​regexp·​Class·​Hierarchy·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>org.​apache.​regexp·​Class·​Hierarchy·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/CharacterIterator.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​15·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​42·​GMT·​2016·​-​-​>
6 <title>CharacterItera​tor·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>CharacterItera​tor·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/RE.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​16·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​43·​GMT·​2016·​-​-​>
6 <title>RE·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>RE·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/ReaderCharacterIterator.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​16·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​43·​GMT·​2016·​-​-​>
6 <title>ReaderCharacte​rIterator·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>ReaderCharacte​rIterator·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/StreamCharacterIterator.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​20·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​45·​GMT·​2016·​-​-​>
6 <title>StreamCharacte​rIterator·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>StreamCharacte​rIterator·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/RETest.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​20·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​45·​GMT·​2016·​-​-​>
6 <title>RETest·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>RETest·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/REDemo.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​20·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​44·​GMT·​2016·​-​-​>
6 <title>REDemo·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>REDemo·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/class-use/recompile.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Class·​org.​apache.​regexp.​recompile·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Class·​org.​apache.​regexp.​recompile·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/class-use/REDebugCompiler.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Class·​org.​apache.​regexp.​REDebugCompiler·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Class·​org.​apache.​regexp.​REDebugCompiler·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/class-use/CharacterIterator.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Interface·​org.​apache.​regexp.​CharacterIterator·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Interface·​org.​apache.​regexp.​CharacterIterator·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/class-use/RE.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Class·​org.​apache.​regexp.​RE·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Class·​org.​apache.​regexp.​RE·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/class-use/ReaderCharacterIterator.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Class·​org.​apache.​regexp.​ReaderCharacterIterat​or·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Class·​org.​apache.​regexp.​ReaderCharacterIterat​or·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/class-use/StreamCharacterIterator.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​45·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Class·​org.​apache.​regexp.​StreamCharacterIterat​or·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Class·​org.​apache.​regexp.​StreamCharacterIterat​or·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/class-use/RETest.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Class·​org.​apache.​regexp.​RETest·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Class·​org.​apache.​regexp.​RETest·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/class-use/REDemo.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​45·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Class·​org.​apache.​regexp.​REDemo·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Class·​org.​apache.​regexp.​REDemo·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/class-use/CharacterArrayCharacterIterator.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Class·​org.​apache.​regexp.​CharacterArrayCharact​erIterator·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Class·​org.​apache.​regexp.​CharacterArrayCharact​erIterator·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/class-use/StringCharacterIterator.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Class·​org.​apache.​regexp.​StringCharacterIterat​or·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Class·​org.​apache.​regexp.​StringCharacterIterat​or·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/class-use/RECompiler.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Class·​org.​apache.​regexp.​RECompiler·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Class·​org.​apache.​regexp.​RECompiler·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/class-use/REProgram.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Class·​org.​apache.​regexp.​REProgram·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Class·​org.​apache.​regexp.​REProgram·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/class-use/RECompiler.RERange.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Class·​org.​apache.​regexp.​RECompiler.​RERange·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Class·​org.​apache.​regexp.​RECompiler.​RERange·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/class-use/RESyntaxException.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​45·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Class·​org.​apache.​regexp.​RESyntaxException·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Class·​org.​apache.​regexp.​RESyntaxException·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/class-use/REUtil.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Class·​org.​apache.​regexp.​REUtil·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Class·​org.​apache.​regexp.​REUtil·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/class-use/RETestCase.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​45·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Class·​org.​apache.​regexp.​RETestCase·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Class·​org.​apache.​regexp.​RETestCase·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/CharacterArrayCharacterIterator.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​15·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​42·​GMT·​2016·​-​-​>
6 <title>CharacterArray​CharacterIterator·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>CharacterArray​CharacterIterator·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/StringCharacterIterator.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​20·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​45·​GMT·​2016·​-​-​>
6 <title>StringCharacte​rIterator·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>StringCharacte​rIterator·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/package-use.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Uses·​of·​Package·​org.​apache.​regexp·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Uses·​of·​Package·​org.​apache.​regexp·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/package-summary.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​45·​GMT·​2016·​-​-​>
6 <title>org.​apache.​regexp·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>org.​apache.​regexp·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/RECompiler.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​17·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​43·​GMT·​2016·​-​-​>
6 <title>RECompiler·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>RECompiler·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/package-frame.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​45·​GMT·​2016·​-​-​>
6 <title>org.​apache.​regexp·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>org.​apache.​regexp·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <h1·​class="bar"><a·​href=".​.​/​.​.​/​.​.​/​org/​apache/​regexp/​package-​summary.​html"·​target="classFrame">o​rg.​apache.​regexp</​a></​h1>12 <h1·​class="bar"><a·​href=".​.​/​.​.​/​.​.​/​org/​apache/​regexp/​package-​summary.​html"·​target="classFrame">o​rg.​apache.​regexp</​a></​h1>
13 <div·​class="indexContainer​">13 <div·​class="indexContainer​">
14 <h2·​title="Interfaces">In​terfaces</​h2>14 <h2·​title="Interfaces">In​terfaces</​h2>
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/REProgram.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​20·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​45·​GMT·​2016·​-​-​>
6 <title>REProgram·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>REProgram·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/RECompiler.RERange.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​17·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​43·​GMT·​2016·​-​-​>
6 <title>RECompiler.​RERange·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>RECompiler.​RERange·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/RESyntaxException.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​20·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​45·​GMT·​2016·​-​-​>
6 <title>RESyntaxExcept​ion·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>RESyntaxExcept​ion·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/REUtil.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​20·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​45·​GMT·​2016·​-​-​>
6 <title>REUtil·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>REUtil·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/org/apache/regexp/RETestCase.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​20·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​45·​GMT·​2016·​-​-​>
6 <title>RETestCase·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>RETestCase·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href=".​.​/​.​.​/​.​.​/​stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>9 <script·​type="text/​javascript"·​src=".​.​/​.​.​/​.​.​/​script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/overview-tree.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​46·​GMT·​2016·​-​-​>
6 <title>Class·​Hierarchy·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Class·​Hierarchy·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href="stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href="stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src="script.​js"></​script>9 <script·​type="text/​javascript"·​src="script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{
/usr/local/share/doc/jakarta-regexp/serialized-form.html
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">1 <!DOCTYPE·​HTML·​PUBLIC·​"-​/​/​W3C/​/​DTD·​HTML·​4.​01·​Transitional/​/​EN"·​"http:​/​/​www.​w3.​org/​TR/​html4/​loose.​dtd">
2 <!-​-​·​NewPage·​-​-​>2 <!-​-​·​NewPage·​-​-​>
3 <html·​lang="en">3 <html·​lang="en">
4 <head>4 <head>
5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Fri·​Jun·​10·20:​51:​21·​GMT·​2016·​-​-​>5 <!-​-​·​Generated·​by·​javadoc·​(1.​8.​0_92)​·​on·Sun·​Jun·​12·07:​49:​45·​GMT·​2016·​-​-​>
6 <title>Serialized·​Form·​(Jakarta-​Regexp·​1.​5·​API)​</​title>6 <title>Serialized·​Form·​(Jakarta-​Regexp·​1.​5·​API)​</​title>
7 <meta·​name="date"·​content="2016-​06-​10">7 <meta·​name="date"·​content="2016-​06-​12">
8 <link·​rel="stylesheet"·​type="text/​css"·​href="stylesheet.​css"·​title="Style">8 <link·​rel="stylesheet"·​type="text/​css"·​href="stylesheet.​css"·​title="Style">
9 <script·​type="text/​javascript"·​src="script.​js"></​script>9 <script·​type="text/​javascript"·​src="script.​js"></​script>
10 </​head>10 </​head>
11 <body>11 <body>
12 <script·​type="text/​javascript"><!-​-​12 <script·​type="text/​javascript"><!-​-​
13 ····​try·​{13 ····​try·​{
14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{14 ········​if·​(location.​href.​indexOf('is-​external=true')​·​==·​-​1)​·​{