<?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="46 25 545 750" width="545pt" height="750pt" xmlns:dc="http://purl.org/dc/elements/1.1/"><metadata> Produced by OmniGraffle 6.1 <dc:date>2009-09-09 23:36:00 +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="11" 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="Helvetica" font-size="11" 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="10" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="-1200" 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><font-face font-family="Lucida Grande" font-size="10" panose-1="2 11 6 0 4 5 2 2 2 4" units-per-em="1000" underline-position="-97.65625" underline-thickness="48.828125" slope="0" x-height="530.27344" cap-height="722.65625" ascent="966.7969" descent="-210.9375" font-weight="500"><font-face-src><font-face-name name="LucidaGrande"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="10" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="-1200" x-height="539.55078" cap-height="719.72656" ascent="770.01953" descent="-229.98047" font-style="italic" font-weight="bold"><font-face-src><font-face-name name="Helvetica-BoldOblique"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="13" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="-923.0769" 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><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="red"><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="11" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="-1090.9091" 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="588.0188" height="768.0188"/><g><title>Layer 1</title><g><xl:use xl:href="#id111_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id106_Graphic" filter="url(#Shadow)"/></g><g id="id111_Graphic"><path d="M 68.5938 640.352 L 229.3748 640.352 C 232.68851 640.352 235.3748 643.0383 235.3748 646.352 L 235.3748 751.813 C 235.3748 755.1267 232.68851 757.813 229.3748 757.813 L 68.5938 757.813 C 65.28009 757.813 62.5938 755.1267 62.5938 751.813 L 62.5938 646.352 C 62.5938 643.0383 65.28009 640.352 68.5938 640.352 Z" fill="#ebffed"/><path d="M 68.5938 640.352 L 229.3748 640.352 C 232.68851 640.352 235.3748 643.0383 235.3748 646.352 L 235.3748 751.813 C 235.3748 755.1267 232.68851 757.813 229.3748 757.813 L 68.5938 757.813 C 65.28009 757.813 62.5938 755.1267 62.5938 751.813 L 62.5938 646.352 C 62.5938 643.0383 65.28009 640.352 68.5938 640.352 Z" stroke="#9cffb1" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><g id="id106_Graphic"><path d="M 69.335548 61.38315 L 186.93809 61.38416 C 190.2518 61.384188 192.93807 64.070502 192.93804 67.38421 C 192.93804 67.38427 192.93804 67.384327 192.93804 67.384385 L 192.93781 73.569708 C 192.93769 76.88329 190.25149 79.56943 186.93791 79.569483 L 97.390935 79.57095 C 94.077265 79.571007 91.391034 82.25728 91.391034 85.57095 L 91.391034 388.09394 C 91.391034 391.39507 94.057715 394.07612 97.35879 394.09386 L 226.37644 394.78716 C 229.67752 394.8049 232.3442 397.48595 232.3442 400.78708 L 232.3442 493.42925 C 232.3442 496.73035 229.67755 499.4114 226.3765 499.42916 L 97.358877 500.1237 C 94.057834 500.14146 91.39119 502.82248 91.391176 506.12357 L 91.39106 529.77343 C 91.391047 533.08714 94.077325 535.77345 97.391034 535.77346 C 97.391053 535.77346 97.39107 535.77346 97.39109 535.77346 L 199.82096 535.77296 C 203.13467 535.77295 205.82097 538.45923 205.82099 541.77294 C 205.82099 541.773 205.82099 541.77308 205.82099 541.77315 L 205.82084 546.65464 C 205.82074 549.95652 203.1528 552.6378 199.85096 552.65438 L 96.69789 553.1722 C 93.38422 553.18885 90.71145 555.8886 90.728084 559.20226 C 90.728193 559.22398 90.72842 559.2457 90.728765 559.26742 L 91.297165 595.05585 C 91.349097 598.3257 94.01001 600.95175 97.28028 600.96055 L 155.35214 601.11666 C 158.53473 601.1252 161.15693 603.61723 161.3274 606.79526 L 161.52812 610.5372 C 161.70561 613.84616 159.16706 616.67248 155.858105 616.84997 C 155.75109 616.8557 155.64393 616.85858 155.53676 616.85858 L 67.852627 616.85907 C 64.53892 616.8591 61.852612 614.1728 61.852594 610.8591 C 61.852594 610.85363 61.8526 610.84816 61.852616 610.8427 L 63.33552 67.36678 C 63.344543 64.059455 66.02821 61.383123 69.335548 61.38315 Z" fill="#fffbe6"/><path d="M 69.335548 61.38315 L 186.93809 61.38416 C 190.2518 61.384188 192.93807 64.070502 192.93804 67.38421 C 192.93804 67.38427 192.93804 67.384327 192.93804 67.384385 L 192.93781 73.569708 C 192.93769 76.88329 190.25149 79.56943 186.93791 79.569483 L 97.390935 79.57095 C 94.077265 79.571007 91.391034 82.25728 91.391034 85.57095 L 91.391034 388.09394 C 91.391034 391.39507 94.057715 394.07612 97.35879 394.09386 L 226.37644 394.78716 C 229.67752 394.8049 232.3442 397.48595 232.3442 400.78708 L 232.3442 493.42925 C 232.3442 496.73035 229.67755 499.4114 226.3765 499.42916 L 97.358877 500.1237 C 94.057834 500.14146 91.39119 502.82248 91.391176 506.12357 L 91.39106 529.77343 C 91.391047 533.08714 94.077325 535.77345 97.391034 535.77346 C 97.391053 535.77346 97.39107 535.77346 97.39109 535.77346 L 199.82096 535.77296 C 203.13467 535.77295 205.82097 538.45923 205.82099 541.77294 C 205.82099 541.773 205.82099 541.77308 205.82099 541.77315 L 205.82084 546.65464 C 205.82074 549.95652 203.1528 552.6378 199.85096 552.65438 L 96.69789 553.1722 C 93.38422 553.18885 90.71145 555.8886 90.728084 559.20226 C 90.728193 559.22398 90.72842 559.2457 90.728765 559.26742 L 91.297165 595.05585 C 91.349097 598.3257 94.01001 600.95175 97.28028 600.96055 L 155.35214 601.11666 C 158.53473 601.1252 161.15693 603.61723 161.3274 606.79526 L 161.52812 610.5372 C 161.70561 613.84616 159.16706 616.67248 155.858105 616.84997 C 155.75109 616.8557 155.64393 616.85858 155.53676 616.85858 L 67.852627 616.85907 C 64.53892 616.8591 61.852612 614.1728 61.852594 610.8591 C 61.852594 610.85363 61.8526 610.84816 61.852616 610.8427 L 63.33552 67.36678 C 63.344543 64.059455 66.02821 61.383123 69.335548 61.38315 Z" stroke="#fffbe6" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><text transform="translate(86.8516 34.6328)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="bold" x="0" y="10" textLength="24.438477">jpf-X</tspan></text><text transform="translate(122 91)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="bold" x="0" y="10" textLength="16.516113">src</tspan></text><text transform="translate(122 253)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="bold" x="0" y="10" textLength="26.27002">build</tspan></text><text transform="translate(122 226)" fill="blue"><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="blue" x="0" y="10" textLength="43.403809">build.xml</tspan></text><text transform="translate(122 64)" fill="blue"><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="blue" x="0" y="10" textLength="63.58838">jpf.properties</tspan></text><text transform="translate(140 397.094)" fill="blue"><tspan font-family="Helvetica" font-size="11" font-weight="bold" fill="blue" x="0" y="10" textLength="23.847656">X.jar</tspan></text><text transform="translate(140 415.094)" fill="blue"><tspan font-family="Helvetica" font-size="11" font-weight="bold" fill="blue" x="0" y="10" textLength="67.27295">X-classes.jar</tspan></text><text transform="translate(140 433.094)" fill="blue"><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="blue" x="0" y="10" textLength="83.160645">X-annotations.jar</tspan></text><text transform="translate(149 109)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="23.842285">main</tspan></text><text transform="translate(149 127)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="27.516113">peers</tspan></text><text transform="translate(149 145)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="36.6792">classes</tspan></text><text transform="translate(149 163)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="56.879883">annotations</tspan></text><text transform="translate(149 181)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="23.22998">tests</tspan></text><text transform="translate(149 199)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="47.077637">examples</tspan></text><text transform="translate(122 460.094)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="bold" x="0" y="10" textLength="12.831543">lib</tspan></text><text transform="translate(122 505.281)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="bold" x="0" y="10" textLength="26.27539">tools</tspan></text><text transform="translate(122 583.438)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="bold" x="0" y="10" textLength="16.494629">bin</tspan></text><text transform="translate(140 538.438)" fill="blue"><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="blue" x="0" y="10" textLength="39.735352">RunJPF</tspan><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="blue" x="38.516113" y="10" textLength="15.280762">.jar</tspan></text><text transform="translate(140 556.438)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="51.970703">RunAnt.jar</tspan></text><text transform="translate(140 601.438)" fill="blue"><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="blue" x="0" y="10" textLength="11.617676">jpf</tspan></text><text transform="translate(140 619.438)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="15.291504">ant</tspan></text><text transform="translate(122 646.438)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="45.251465">nbproject</tspan></text><text transform="translate(140 664.438)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="53.1792">project.xml</tspan></text><text transform="translate(140 682.438)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="23.842285">ide-fi</tspan><tspan font-family="Helvetica" font-size="11" font-weight="500" x="23.842285" y="10" textLength="66.016113">le-targets.xml</tspan></text><text transform="translate(122 704.983)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="49.526855">.classpath</tspan></text><line x1="99.348286" y1="47.6328" x2="99" y2="730.842" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="130.445744" y1="104" x2="129.591" y2="206.401" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="144" y1="115.48059" x2="130.350046" y2="115.465" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="144.091" y1="133.637" x2="129.591" y2="133.674" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="144.091" y1="151.818" x2="129.591" y2="151.855" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="144.091" y1="170" x2="129.591" y2="170.037" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="144.091" y1="188.182" x2="129.591" y2="188.219" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="144.091" y1="206.364" x2="129.591" y2="206.401" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(149.091 271.09)" fill="#626262"><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="#626262" x="0" y="10" textLength="23.842285">main</tspan></text><text transform="translate(149.091 289.09)" fill="#626262"><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="#626262" x="0" y="10" textLength="27.516113">peers</tspan></text><text transform="translate(149.091 307.09)" fill="#626262"><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="#626262" x="0" y="10" textLength="36.6792">classes</tspan></text><text transform="translate(149.091 325.09)" fill="#626262"><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="#626262" x="0" y="10" textLength="56.879883">annotations</tspan></text><text transform="translate(149.091 343.09)" fill="#626262"><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="#626262" x="0" y="10" textLength="23.22998">tests</tspan></text><text transform="translate(149.091 361.09)" fill="#626262"><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="#626262" x="0" y="10" textLength="47.077637">examples</tspan></text><line x1="129.596" y1="266.09" x2="129.682" y2="368.491" stroke="#626262" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="144.091" y1="277.5711" x2="129.60563" y2="277.555" stroke="#626262" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="144.182" y1="295.727" x2="129.682" y2="295.764" stroke="#626262" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="144.182" y1="313.908" x2="129.682" y2="313.945" stroke="#626262" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="144.182" y1="332.09" x2="129.682" y2="332.127" stroke="#626262" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="144.182" y1="350.272" x2="129.682" y2="350.309" stroke="#626262" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="144.182" y1="368.454" x2="129.682" y2="368.491" stroke="#626262" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="117.091" y1="259.597" x2="99.5542" y2="259.652" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="117.182" y1="466.795" x2="99.6451" y2="466.85" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="117.182" y1="512.177" x2="99.6451" y2="512.232" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="117.182" y1="590.608" x2="99.6451" y2="590.663" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="117.182" y1="653.926" x2="99.6451" y2="653.981" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(122.091 723.075)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="34.240723">eclipse</tspan></text><line x1="117.273" y1="730.564" x2="99.736" y2="730.619" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(140.091 741.075)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="66.649902">run-jpf.launch</tspan></text><text transform="translate(250.984 58.6875)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="105.5957">JPF project properties fi</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="105.5957" y="10" textLength="7.783203">le</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="22" textLength="58.911133">(runtime def: </tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" fill="#20a356" x="58.911133" y="22" textLength="74.492188">native_classpath</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="133.40332" y="22" textLength="5.5566406">, </tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" fill="#20a356" x="138.95996" y="22" textLength="42.246094">classpath</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="181.20605" y="22" textLength="5.5566406">, </tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" fill="#20a356" x="186.7627" y="22" textLength="49.47754">sourcepath</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="236.24023" y="22" textLength="3.3300781">)</tspan></text><text transform="translate(278.93 107.57)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="246.20117">host-VM executed classes (listeners, infrastructure etc.)</tspan></text><text transform="translate(279.023 125.664)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="229.52637">host-VM executed library classes (MJI native peers)</tspan></text><text transform="translate(279.117 144.258)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="135.60547">JPF executed library classes   </tspan><tspan font-family="Lucida Grande" font-size="10" font-weight="500" fill="#20a356" x="135.60547" y="10" textLength="10">→</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" fill="#20a356" x="145.60547" y="10" textLength="49.47754">sourcepath</tspan></text><text transform="translate(279.211 161.852)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="145.08301">JPF processed Java annotations</tspan></text><text transform="translate(279.305 179.945)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="70.585938">regression tests</tspan></text><text transform="translate(279.398 198.539)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="35.57129">demos  </tspan><tspan font-family="Lucida Grande" font-size="10" font-weight="500" fill="#20a356" x="35.57129" y="10" textLength="10">→</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" fill="#20a356" x="45.57129" y="10" textLength="49.47754">sourcepath</tspan></text><text transform="translate(251.641 225.133)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="71.694336">Ant build script (</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" fill="red" x="71.694336" y="10" textLength="34.458008">compile</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="106.152344" y="10" textLength="5.5566406">, </tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" fill="red" x="111.708984" y="10" textLength="21.12793">build</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="132.836914" y="10" textLength="5.5566406">, </tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" fill="red" x="138.393555" y="10" textLength="16.118164">test</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="154.51172" y="10" textLength="5.5566406">, </tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" fill="red" x="160.06836" y="10" textLength="23.90625">clean</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="183.97461" y="10" textLength="3.3300781">)</tspan></text><text transform="translate(263.414 305.969)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="140.60059">temporary build artifacts (classfi</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="140.60059" y="10" textLength="16.113281">les)</tspan></text><text transform="translate(278.734 397.5)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="210.08789">main host-VM executed project jar (main,peers </tspan><tspan font-family="Lucida Grande" font-size="10" font-weight="500" fill="#20a356" x="210.08789" y="10" textLength="10">→</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" fill="#20a356" x="220.08789" y="10" textLength="74.492188">native_classpath</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="294.58008" y="10" textLength="3.3300781">)</tspan></text><text transform="translate(278.828 415.594)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="201.75781">JPF executed library jar (classes,annotations </tspan><tspan font-family="Lucida Grande" font-size="10" font-weight="500" fill="#20a356" x="201.75781" y="10" textLength="10">→</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" fill="#20a356" x="211.75781" y="10" textLength="42.246094">classpath</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="254.0039" y="10" textLength="3.3300781">)</tspan></text><text transform="translate(278.922 433.188)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="201.20117">separate anotations jar (for JPF external SUT</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="201.02539" y="10" textLength="27.231445"> exec)</tspan></text><text transform="translate(252.016 460.781)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="97.26074">required runtime jars  </tspan><tspan font-family="Lucida Grande" font-size="10" font-weight="500" fill="#20a356" x="97.26074" y="10" textLength="10">→</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" fill="#20a356" x="107.26074" y="10" textLength="74.492188">native_classpath</tspan></text><text transform="translate(252.109 502.531)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="45.029297">build tools</tspan></text><text transform="translate(140.094 520.531)" fill="#404040"><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="#404040" x="0" y="10" textLength="30.572266">ant.jar</tspan><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="#404040" x="29.970703" y="10" textLength="41.572266">, junit.jar</tspan><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="#404040" x="70.941406" y="10" textLength="15.280762">, ...</tspan></text><text transform="translate(140.188 477.898)" fill="#404040"><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="#404040" x="0" y="10" textLength="35.45996">bcel.jar</tspan><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="#404040" x="34.858398" y="10" textLength="27.510742">, antlr</tspan><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="#404040" x="61.767578" y="10" textLength="15.280762">.jar</tspan><tspan font-family="Helvetica" font-size="11" font-weight="500" fill="#404040" x="76.446777" y="10" textLength="12.2246094">, ..</tspan></text><text transform="translate(279.203 478.375)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="105.59082">(example) 3rd party jars</tspan></text><text transform="translate(250.531 253.578)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="58.916016">build artifacts</tspan></text><text transform="translate(264.836 379.477)" fill="blue"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="bold" fill="blue" x="0" y="10" textLength="119.46777">permanent build artifacts</tspan></text><text transform="translate(278.539 521.195)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="105.59082">(example) 3rd party jars</tspan></text><text transform="translate(278.539 537.391)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="122.82715">JPF startup jar (executable)</tspan></text><text transform="translate(278.633 555.484)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="113.38379">JPF build jar (executable)</tspan></text><text transform="translate(252.203 583.625)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="28.891602">scripts</tspan></text><text transform="translate(279.391 600.984)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="83.90625">JPF startup script (</tspan><tspan font-family="Lucida Grande" font-size="10" font-weight="500" x="83.90625" y="10" textLength="10">→</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="93.90625" y="10" textLength="36.123047">RunJPF</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="128.9209" y="10" textLength="17.22168">.jar)</tspan></text><text transform="translate(279.485 619.077)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="74.46289">JPF build script (</tspan><tspan font-family="Lucida Grande" font-size="10" font-weight="500" x="74.46289" y="10" textLength="10">→</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="84.46289" y="10" textLength="50.576172">RunAnt.jar)</tspan></text><text transform="translate(252.391 704.602)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="88.930664">Eclipse project confi</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="88.930664" y="10" textLength="36.137695">guration</tspan></text><line x1="117.185" y1="97.5308" x2="99.6479" y2="97.5858" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(250.625 91.5547)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="67.807617">project sources</tspan></text><text transform="translate(227.414 34.7109)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="91.14746">project root directory</tspan></text><text transform="translate(69.6719 415.508) rotate(-90)" fill="black"><tspan font-family="Helvetica" font-size="13" font-style="italic" font-weight="500" x="0" y="13" textLength="101.88623">binary distribution</tspan></text><text transform="translate(252.484 663.562)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="100.61035">NetBeans project confi</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="100.61035" y="10" textLength="36.137695">guration</tspan></text><text transform="translate(252.578 681.656)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="51.694336">NetBeans fi</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="51.694336" y="10" textLength="115.04883">le actions (JPF execution)</tspan></text><text transform="translate(252.672 740.961)" fill="black"><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="0" y="10" textLength="88.38379">Eclipse launch confi</tspan><tspan font-family="Helvetica" font-size="10" font-style="italic" font-weight="500" x="88.38379" y="10" textLength="83.36426">gs (JPF execution)</tspan></text><text transform="translate(71.2344 731.805) rotate(-90)" fill="black"><tspan font-family="Helvetica" font-size="13" font-style="italic" font-weight="500" x="0" y="13" textLength="68.643555">IDE support</tspan></text><path d="M 204.516 159.898 L 215.25 159.898 C 221.87742 159.898 227.25 165.27058 227.25 171.898 L 227.25 308.86879 C 227.25 315.4962 221.87742 320.86879 215.25 320.86879 C 215.13236 320.86879 215.01472 320.86706 214.89713 320.8636 L 211.37972 320.76012" marker-end="url(#FilledArrow_Marker)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 231.134 319.703 L 241.868 319.703 C 248.49542 319.703 253.868 325.07558 253.868 331.703 L 253.868 401.31326 C 253.868 407.94068 248.49542 413.31326 241.868 413.31326 C 241.75051 413.31326 241.63303 413.31154 241.5156 413.3081 L 237.99773 413.20473" marker-end="url(#FilledArrow_Marker)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(212.578 256.102) rotate(-90)" fill="red"><tspan font-family="Helvetica" font-size="11" font-style="italic" font-weight="500" fill="red" x="0" y="10" textLength="37.903809">compile</tspan></text><text transform="translate(239.586 371.32) rotate(-90)" fill="red"><tspan font-family="Helvetica" font-size="11" font-style="italic" font-weight="500" fill="red" x="0" y="10" textLength="23.240723">build</tspan></text><path d="M 198.548 409.218 L 209.282 409.218 C 215.90942 409.218 221.282 403.84542 221.282 397.218 L 221.282 363.27672 C 221.282 356.78689 216.12235 351.473 209.63534 351.28192 L 205.41171 351.1575" marker-end="url(#FilledArrow_Marker)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(207.5 387.266) rotate(-90)" fill="red"><tspan font-family="Helvetica" font-size="11" font-style="italic" font-weight="500" fill="red" x="0" y="10" textLength="17.72998">test</tspan></text></g></g></svg>