<?xml version="1.0" encoding="utf-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" version="1.1" viewBox="10 18 784 573" width="784pt" height="573pt" xmlns:dc="http://purl.org/dc/elements/1.1/"><metadata> Produced by OmniGraffle 6.1 <dc:date>2010-09-10 23:02:45 +0000</dc:date></metadata><defs><filter id="Shadow" filterUnits="userSpaceOnUse"><feGaussianBlur in="SourceAlpha" result="blur" stdDeviation="1.308"/><feOffset in="blur" result="offset" dx="0" dy="2"/><feFlood flood-color="black" flood-opacity=".5" result="flood"/><feComposite in="flood" in2="offset" operator="in"/></filter><font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="532.22656" cap-height="719.72656" ascent="770.01953" descent="-229.98047" font-weight="bold"><font-face-src><font-face-name name="Helvetica-Bold"/></font-face-src></font-face><font-face font-family="Monaco" font-size="11" units-per-em="1000" underline-position="-37.597656" underline-thickness="75.683594" slope="0" x-height="560.54688" cap-height="780.27344" ascent="1e3" descent="-250" font-weight="500"><font-face-src><font-face-name name="Monaco"/></font-face-src></font-face><font-face font-family="Courier" font-size="12" units-per-em="1000" underline-position="-178.22266" underline-thickness="57.617188" slope="0" x-height="462.40234" cap-height="594.72656" ascent="753.90625" descent="-246.09375" font-weight="500"><font-face-src><font-face-name name="Courier"/></font-face-src></font-face><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="Ball_Marker" viewBox="-7 -4 8 8" markerWidth="8" markerHeight="8" color="blue"><g><circle cx="-2.9999986" cy="0" r="2.9999973" fill="none" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="UMLInheritance_Marker" viewBox="-1 -8 14 16" markerWidth="14" markerHeight="16" color="black"><g><path d="M 12 0 L 0 -7 L 0 7 Z" fill="none" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="black"><g><path d="M 8 0 L 0 -3 L 0 3 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="-1e3" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-style="italic" font-weight="500"><font-face-src><font-face-name name="Helvetica-Oblique"/></font-face-src></font-face></defs><g stroke="none" stroke-opacity="1" stroke-dasharray="none" fill="none" fill-opacity="1"><title>Canvas 1</title><rect fill="white" width="1536.0376" height="588.0188"/><g><title>Layer 1</title><g><xl:use xl:href="#id99_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id21_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id100_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id105_Graphic" filter="url(#Shadow)"/></g><g id="id99_Graphic"><rect x="601" y="156" width="151" height="70" fill="white"/><rect x="601" y="156" width="151" height="70" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><g id="id21_Graphic"><rect x="468" y="140" width="90" height="83" fill="white"/><rect x="468" y="140" width="90" height="83" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><rect x="119" y="134" width="146" height="42" fill="white"/><rect x="119" y="134" width="146" height="42" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(124 134)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="29.326172">JPF()</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="25" textLength="130.740234">addPublisherExtension()</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="39" textLength="73.365234">setPublisherT</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="72.035156" y="39" textLength="36.00586">opics()</tspan></text><rect x="119" y="120" width="146" height="14" fill="white"/><rect x="119" y="120" width="146" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(124 120)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="42.017578">reporter</tspan></text><rect x="119" y="106" width="146" height="14" fill="white"/><rect x="119" y="106" width="146" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(124 106)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="56.996094" y="11" textLength="22.007812">JPF</tspan></text><text transform="translate(34.81 28.631245)" fill="blue"><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="11" textLength="13.2021484">..</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="26" textLength="422.46875">reporter = config.getInstance(&quot;report.class&quot;, Reporter.class,..)</tspan><tspan font-family="Courier" font-size="12" font-weight="500" fill="blue" x="422.46875" y="26" textLength="7.201172">;</tspan><tspan font-family="Courier" font-size="12" font-weight="500" fill="blue" x="0" y="41" textLength="14.402344">..</tspan></text><path d="M 108.51673 140.52065 C 96.31494 139.82353 82.887197 139.963245 74 137 C 63.50105 133.49935 54.3331 130.9979 52 120 C 49.6669 109.0021 57.3336 87.3357 60 71.006" marker-start="url(#Ball_Marker)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><rect x="305" y="150" width="118" height="42" fill="white"/><rect x="305" y="150" width="118" height="42" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(310 150)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="82.69922">searchStarted()</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="25" textLength="52.02539">propertyV</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="51.814453" y="25" textLength="43.353516">iolated()</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="39" textLength="89.36719">searchFinished()</tspan></text><rect x="305" y="136" width="118" height="14" fill="white"/><rect x="305" y="136" width="118" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(310 136)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="54.697266">publishers</tspan></text><rect x="305" y="122" width="118" height="14" fill="white"/><rect x="305" y="122" width="118" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(310 122)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="28.995117" y="11" textLength="50.009766">Reporter</tspan></text><rect x="463.5" y="190" width="90" height="28" fill="white"/><rect x="463.5" y="190" width="90" height="28" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(468.5 190)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="71.36133">publishStart()</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="25" textLength="44.015625">getOut()</tspan></text><rect x="463.5" y="148" width="90" height="42" fill="white"/><rect x="463.5" y="148" width="90" height="42" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(468.5 148)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="57.36914">extensions</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="25" textLength="31.347656">topics</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="39" textLength="16.681641">out</tspan></text><rect x="463.5" y="134" width="90" height="14" fill="white"/><rect x="463.5" y="134" width="90" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(468.5 134)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="12.660156" y="11" textLength="54.679688">Publisher</tspan></text><rect x="596" y="165" width="151" height="56" fill="white"/><rect x="596" y="165" width="151" height="56" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(601 165)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="71.36133">publishStart()</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="25" textLength="45.357422">publishT</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="44.91797" y="25" textLength="53.34961">ransition()</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="39" textLength="91.38281">publishPropertyV</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="91.171875" y="39" textLength="46.01953">iolation()</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="53" textLength="91.376953">publishFinished()</tspan></text><rect x="596" y="151" width="151" height="14" fill="white"/><rect x="596" y="151" width="151" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(601 151)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x=".4716797" y="11" textLength="140.05664">&lt;&lt;PublisherExtension&gt;&gt;</tspan></text><g id="id100_Graphic"><rect x="583" y="343" width="39" height="30" fill="white"/><rect x="583" y="343" width="39" height="30" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(588 351)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="9.4990234" y="11" textLength="10.001953">...</tspan></text></g><line x1="676" y1="328" x2="676" y2="240.506" marker-end="url(#UMLInheritance_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 606 343 L 606 328 L 704 328 L 704 343" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><g id="id105_Graphic"><rect x="409" y="284" width="39" height="30" fill="white"/><rect x="409" y="284" width="39" height="30" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(414 292)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="9.4990234" y="11" textLength="10.001953">...</tspan></text></g><line x1="502.00002" y1="269" x2="502.00002" y2="240.506" marker-end="url(#UMLInheritance_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 432 284 L 432 269 L 530 269 L 530 284" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="535" y1="157" x2="586.1" y2="157" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="402" y1="141" x2="453.1" y2="141" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="245" y1="128" x2="296.1" y2="128" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(102.08 217.37988)" fill="blue"><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="11" textLength="13.2021484">..</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="26" textLength="204.6333">for (Publisher p : publishers){</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="41" textLength="118.819336">  p.openChannel();</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="56" textLength="26.404297">  ..</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="71" textLength="125.42041">  p.publishStart();</tspan><tspan font-family="Courier" font-size="12" font-weight="500" fill="blue" x="0" y="86" textLength="14.402344">..</tspan></text><path d="M 298.63573 160.68016 C 291.20484 165.53147 283.20964 170.12326 278 176 C 271.50065 183.3316 266.49985 192.49985 265 201 C 263.50015 209.50015 267.6668 218.3382 269 227.006" marker-start="url(#Ball_Marker)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><text transform="translate(200.64 328.44478)" fill="blue"><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="11" textLength="191.43115"> public void publishStart() {</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="26" textLength="250.84082">    for (String topic : startTopics) {</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="41" textLength="204.6333">      if (&quot;jpf&quot;.equals(topic)){</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="56" textLength="138.62256">        publishJPF();</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="71" textLength="33.005371">  ...</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="86" textLength="204.6333">    for (PublisherExtension e :</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="101" textLength="237.63867">                       extensions) {</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="116" textLength="191.43115">        e.publishStart(this);</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="131" textLength="46.20752">      }</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="146" textLength="33.005371">  ...</tspan></text><path d="M 448.95183 200.3809 C 432.62623 206.25465 414.28666 209.15743 402 221 C 388.16805 234.332 378.68406 260.67906 372 278 C 365.31594 295.32094 365.26076 309.29224 361.89164 324.936" marker-start="url(#Ball_Marker)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><text transform="translate(395.8 477.35088)" fill="blue"><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="11" textLength="211.23438">out.println(&quot;JPF version&quot; + ..);</tspan></text><rect x="475" y="297.936" width="118" height="28" fill="white"/><rect x="475" y="297.936" width="118" height="28" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(480 297.936)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="67.353516">publishJPF()</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="25" textLength="10.001953">...</tspan></text><rect x="475" y="283.936" width="118" height="14" fill="white"/><rect x="475" y="283.936" width="118" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(480 283.936)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="2.991211" y="11" textLength="102.01758">ConsolePublisher</tspan></text><path d="M 533.46314 321.31366 C 530.55445 334.16368 528.93123 346.2254 522.891 361 C 515.87354 378.16495 499.575 400.67907 492.891 418 C 486.207 435.32093 486.152 449.29223 482.783 464.936" marker-start="url(#Ball_Marker)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><rect x="647" y="357" width="118" height="28" fill="white"/><rect x="647" y="357" width="118" height="28" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(652 357)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="91.376953">publishFinished()</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="25" textLength="10.001953">...</tspan></text><rect x="647" y="343" width="118" height="14" fill="white"/><rect x="647" y="343" width="118" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(652 343)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="2.3115234" y="11" textLength="103.376953">DeadlockAnalyzer</tspan></text><text transform="translate(555.78 414.35063)" fill="blue"><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="11" textLength="118.819336">PrintWriter out = </tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="26" textLength="191.43115">          publisher,getOut();</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="blue" x="0" y="41" textLength="158.42578">printTraceAnalysis(out);</tspan></text><path d="M 714.47304 378.3917 C 713.93286 385.00501 713.7042 391.82623 711 397 C 707.3972 403.89298 699.3982 407.86588 693.59814 413.298" marker-start="url(#Ball_Marker)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><text transform="translate(306 80)" fill="red"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x="0" y="11" textLength="76.716797">data collection</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x="0" y="25" textLength="122.07422">publisher management</tspan></text><text transform="translate(468 70)" fill="red"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x="0" y="11" textLength="80.04492">data formatting</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x="0" y="25" textLength="98.72461">topic management</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x="0" y="39" textLength="78.73242">output channel</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x="0" y="53" textLength="80.04492">   management</tspan></text><text transform="translate(620.5 109.506)" fill="red"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x="0" y="11" textLength="86.03906">property/listener</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x="0" y="25" textLength="34.013672">specifi</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x="34.013672" y="25" textLength="77.378906">c output topics</tspan></text><text transform="translate(50.42 512.3625)" fill="#390"><tspan font-family="Monaco" font-size="11" font-weight="500" fill="#390" x="0" y="11" textLength="191.43115">report.class=.report.Reporter</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="#390" x="0" y="26" textLength="178.229">report.publisher=console,..</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="#390" x="0" y="41" textLength="297.04834">report.console.class=.report.ConsolePublisher</tspan><tspan font-family="Monaco" font-size="11" font-weight="500" fill="#390" x="0" y="56" textLength="178.229">report.console.start=jpf,..</tspan></text><text transform="translate(91 477)" fill="red"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x="0" y="11" textLength="50.015625">JPF confi</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x="50.015625" y="11" textLength="43.365234">guration</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x="0" y="25" textLength="144.06445">(e.g. jpf.properties or *.jpf fi</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x="144.06445" y="25" textLength="19.335938">les)</tspan></text><path d="M 135.75 467.749 L 135.75 425.749 L 126 425.749 L 145.5 411.749 L 165 425.749 L 155.25 425.749 L 155.25 467.749 Z" fill="white"/><path d="M 135.75 467.749 L 135.75 425.749 L 126 425.749 L 145.5 411.749 L 165 425.749 L 155.25 425.749 L 155.25 467.749 Z" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g></g></svg>