X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=docs%2Fgraphics%2Fjpf-intro-new.svg;fp=docs%2Fgraphics%2Fjpf-intro-new.svg;h=56fc211a34edb1838439cc54cc8b3bd8a622e0f1;hp=0000000000000000000000000000000000000000;hb=617c4bf5004a1a258bd32a212f52252b90800d97;hpb=a02f1a3ffa7409c7a2c636ec672cff55acb1048b

diff --git a/docs/graphics/jpf-intro-new.svg b/docs/graphics/jpf-intro-new.svg
new file mode 100644
index 0000000..56fc211
--- /dev/null
+++ b/docs/graphics/jpf-intro-new.svg
@@ -0,0 +1,3 @@
+<?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="3 18 771 561" width="771pt" height="561pt" xmlns:dc="http://purl.org/dc/elements/1.1/"><metadata> Produced by OmniGraffle 6.1 <dc:date>2009-04-10 01:07:23 +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><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" viewBox="-1 -4 8 8" markerWidth="8" markerHeight="8" color="blue"><g><path d="M 5.6000004 0 L 0 -2.1000001 L 0 2.1000001 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker_2" viewBox="-7 -4 8 8" markerWidth="8" markerHeight="8" color="blue"><g><path d="M -5.6000004 0 L 0 2.1000001 L 0 -2.1000001 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><font-face font-family="Helvetica" font-size="9" 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="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><filter id="Shadow_2" 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" result="color"/><feMerge><feMergeNode in="color"/><feMergeNode in="SourceGraphic"/></feMerge></filter><font-face font-family="Helvetica" font-size="14" 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="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="-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><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><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker_3" viewBox="-8 -4 9 8" markerWidth="9" markerHeight="8" color="black"><g><path d="M -6.3999996 0 L 0 2.3999999 L 0 -2.3999999 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><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><font-face font-family="Helvetica" font-size="15" 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><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker_4" viewBox="-1 -3 6 6" markerWidth="6" markerHeight="6" color="blue"><g><path d="M 4 0 L 0 -1.5 L 0 1.5 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker_5" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="#ff8987"><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="14" 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><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="Arrow_Marker" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="blue"><g><path d="M 8 0 L 0 -3 L 0 3 Z" fill="none" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker_6" 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></defs><g stroke="none" stroke-opacity="1" stroke-dasharray="none" fill="none" fill-opacity="1"><title>Canvas 1</title><rect fill="white" width="768.0188" height="588.0188"/><g><title>Layer 1</title><g><xl:use xl:href="#id267_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id10_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id312_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id320_Graphic" filter="url(#Shadow)"/></g><line x1="437.4379" y1="41.027123" x2="519.2401" y2="40.616177" marker-end="url(#FilledArrow_Marker)" marker-start="url(#FilledArrow_Marker_2)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="145.336" y1="40.4099" x2="424.873" y2="40.4099" marker-end="url(#FilledArrow_Marker)" marker-start="url(#FilledArrow_Marker_2)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 135.678 89.1207 L 493.624 89.1207 C 500.25142 89.1207 505.624 94.493283 505.624 101.1207 L 505.624 477.0257 C 505.624 483.65312 500.25142 489.0257 493.624 489.0257 L 135.678 489.0257 C 129.05058 489.0257 123.678 483.65312 123.678 477.0257 L 123.678 101.1207 C 123.678 94.493283 129.05058 89.1207 135.678 89.1207 Z" fill="white"/><path d="M 135.678 89.1207 L 493.624 89.1207 C 500.25142 89.1207 505.624 94.493283 505.624 101.1207 L 505.624 477.0257 C 505.624 483.65312 500.25142 489.0257 493.624 489.0257 L 135.678 489.0257 C 129.05058 489.0257 123.678 483.65312 123.678 477.0257 L 123.678 101.1207 C 123.678 94.493283 129.05058 89.1207 135.678 89.1207 Z" stroke="#999" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 530.289 141.229 L 734.049 141.229 L 734.049 281.1298 C 672.921 263.6422 591.417 333.5926 530.289 298.6174 Z" fill="white"/><path d="M 530.289 141.229 L 734.049 141.229 L 734.049 281.1298 C 672.921 263.6422 591.417 333.5926 530.289 298.6174 Z" stroke="silver" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(538.789 143.229)" fill="#7e7e7e"><tspan font-family="Helvetica" font-size="9" font-weight="500" fill="#7e7e7e" x="0" y="9" textLength="149.41406">------------------------------------ error path</tspan><tspan font-family="Helvetica" font-size="9" font-weight="500" fill="#7e7e7e" x="0" y="20" textLength="5.0009766">..</tspan><tspan font-family="Helvetica" font-size="9" font-weight="500" fill="#7e7e7e" x="0" y="31" textLength="38.53125">Step #14 </tspan><tspan font-family="Helvetica" font-size="9" font-weight="500" fill="#7e7e7e" x="38.373047" y="31" textLength="41.027344">Thread #1</tspan><tspan font-family="Helvetica" font-size="9" font-weight="500" fill="#7e7e7e" x="0" y="42" textLength="193.5791">  oldclassic.java:95           event2.waitForEvent();</tspan><tspan font-family="Helvetica" font-size="9" font-weight="500" fill="#7e7e7e" x="0" y="53" textLength="122.541504">  oldclassic.java:37         wait();</tspan><tspan font-family="Helvetica" font-size="9" font-weight="500" fill="#7e7e7e" x="0" y="75" textLength="163.92041">------------------------------------ thread stacks</tspan><tspan font-family="Helvetica" font-size="9" font-weight="500" fill="#7e7e7e" x="0" y="86" textLength="33.51709">Thread: </tspan><tspan font-family="Helvetica" font-size="9" font-weight="500" fill="#7e7e7e" x="33.358887" y="86" textLength="36.518555">Thread-0</tspan><tspan font-family="Helvetica" font-size="9" font-weight="500" fill="#7e7e7e" x="0" y="97" textLength="181.58643">        at java.lang.Object.wait(Object.java:429)</tspan><tspan font-family="Helvetica" font-size="9" font-weight="500" fill="#7e7e7e" x="0" y="108" textLength="184.57471">        at Event.waitForEvent(oldclassic.java:37)</tspan><tspan font-family="Helvetica" font-size="9" font-weight="500" fill="#7e7e7e" x="0" y="119" textLength="27.505371">         ..</tspan><tspan font-family="Helvetica" font-size="9" font-weight="500" fill="#7e7e7e" x="0" y="130" textLength="126.140625">========================</tspan><tspan font-family="Helvetica" font-size="10" font-weight="500" fill="#7e7e7e" x="0" y="142" textLength="114.49707">  1 Error Found: Deadlock</tspan></text><g filter="url(#Shadow_2)"><path d="M 30.1245 156.971 L 226.4705 156.971 C 233.09792 156.971 238.4705 162.34358 238.4705 168.971 L 238.4705 349.105 C 238.4705 355.73242 233.09792 361.105 226.4705 361.105 L 30.1245 361.105 C 23.497083 361.105 18.1245 355.73242 18.1245 349.105 L 18.1245 168.971 C 18.1245 162.34358 23.497083 156.971 30.1245 156.971 Z" fill="#ffd3db"/><path d="M 30.1245 156.971 L 226.4705 156.971 C 233.09792 156.971 238.4705 162.34358 238.4705 168.971 L 238.4705 349.105 C 238.4705 355.73242 233.09792 361.105 226.4705 361.105 L 30.1245 361.105 C 23.497083 361.105 18.1245 355.73242 18.1245 349.105 L 18.1245 168.971 C 18.1245 162.34358 23.497083 156.971 30.1245 156.971 Z" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><path d="M 146.022 97.9336 L 482.417 97.9336 C 489.04442 97.9336 494.417 103.30618 494.417 109.9336 L 494.417 422.0106 C 494.417 428.63802 489.04442 434.0106 482.417 434.0106 L 146.022 434.0106 C 139.39458 434.0106 134.022 428.63802 134.022 422.0106 L 134.022 109.9336 C 134.022 103.30618 139.39458 97.9336 146.022 97.9336 Z" fill="#fffbbf" fill-opacity=".57"/><path d="M 146.022 97.9336 L 482.417 97.9336 C 489.04442 97.9336 494.417 103.30618 494.417 109.9336 L 494.417 422.0106 C 494.417 428.63802 489.04442 434.0106 482.417 434.0106 L 146.022 434.0106 C 139.39458 434.0106 134.022 428.63802 134.022 422.0106 L 134.022 109.9336 C 134.022 103.30618 139.39458 97.9336 146.022 97.9336 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><g filter="url(#Shadow_2)"><path d="M 271.936 111.498 L 305.1668 111.498 C 311.79422 111.498 317.1668 116.87058 317.1668 123.498 L 317.1668 396.268 C 317.1668 402.89542 311.79422 408.268 305.1668 408.268 L 271.936 408.268 C 265.30858 408.268 259.936 402.89542 259.936 396.268 L 259.936 123.498 C 259.936 116.87058 265.30858 111.498 271.936 111.498 Z" fill="white"/><path d="M 271.936 111.498 L 305.1668 111.498 C 311.79422 111.498 317.1668 116.87058 317.1668 123.498 L 317.1668 396.268 C 317.1668 402.89542 311.79422 408.268 305.1668 408.268 L 271.936 408.268 C 265.30858 408.268 259.936 402.89542 259.936 396.268 L 259.936 123.498 C 259.936 116.87058 265.30858 111.498 271.936 111.498 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(264.936 242.883)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="bold" x="10.7775094" y="14" textLength="25.675781">JPF</tspan><tspan font-family="Helvetica" font-size="14" font-weight="bold" x="7.667158" y="31" textLength="31.896484">Core</tspan></text></g><path d="M 346.726 196.737 L 410.101 196.737 C 414.976 196.737 414.976 196.737 414.976 198.91808 L 414.976 197.82754 C 417.4135 197.82754 417.4135 197.82754 417.4135 200.00862 L 417.4135 198.91808 C 419.851 198.91808 419.851 198.91808 419.851 201.09916 L 419.851 229.45322 C 419.851 231.6343 419.851 231.6343 414.976 231.6343 L 351.601 231.6343 C 346.726 231.6343 346.726 231.6343 346.726 230.54376 C 344.2885 230.54376 344.2885 230.54376 344.2885 229.45322 C 341.851 229.45322 341.851 229.45322 341.851 227.27214 L 341.851 198.91808 C 341.851 196.737 341.851 196.737 346.726 196.737 Z" fill="#fefff6"/><path d="M 346.726 196.737 L 410.101 196.737 C 414.976 196.737 414.976 196.737 414.976 198.91808 L 414.976 227.27214 C 414.976 229.45322 414.976 229.45322 410.101 229.45322 L 346.726 229.45322 C 341.851 229.45322 341.851 229.45322 341.851 227.27214 L 341.851 198.91808 C 341.851 196.737 341.851 196.737 346.726 196.737 M 414.976 197.82754 C 417.4135 197.82754 417.4135 197.82754 417.4135 200.00862 L 417.4135 229.45322 C 417.4135 230.54376 417.4135 230.54376 412.5385 230.54376 L 349.1635 230.54376 C 344.2885 230.54376 344.2885 230.54376 344.2885 229.45322 M 417.4135 198.91808 C 419.851 198.91808 419.851 198.91808 419.851 201.09916 L 419.851 229.45322 C 419.851 231.6343 419.851 231.6343 414.976 231.6343 L 351.601 231.6343 C 346.726 231.6343 346.726 231.6343 346.726 230.54376" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(348.411 198.35354)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="3.9934375" y="11" textLength="48.703125">bytecode</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="20.341094" y="25" textLength="16.0078125">set</tspan></text><path d="M 346.726 284.892 L 410.101 284.892 C 414.976 284.892 414.976 284.892 414.976 287.07308 L 414.976 285.98254 C 417.4135 285.98254 417.4135 285.98254 417.4135 288.16362 L 417.4135 287.07308 C 419.851 287.07308 419.851 287.07308 419.851 289.25416 L 419.851 317.60822 C 419.851 319.7893 419.851 319.7893 414.976 319.7893 L 351.601 319.7893 C 346.726 319.7893 346.726 319.7893 346.726 318.69876 C 344.2885 318.69876 344.2885 318.69876 344.2885 317.60822 C 341.851 317.60822 341.851 317.60822 341.851 315.42714 L 341.851 287.07308 C 341.851 284.892 341.851 284.892 346.726 284.892 Z" fill="#fefff6"/><path d="M 346.726 284.892 L 410.101 284.892 C 414.976 284.892 414.976 284.892 414.976 287.07308 L 414.976 315.42714 C 414.976 317.60822 414.976 317.60822 410.101 317.60822 L 346.726 317.60822 C 341.851 317.60822 341.851 317.60822 341.851 315.42714 L 341.851 287.07308 C 341.851 284.892 341.851 284.892 346.726 284.892 M 414.976 285.98254 C 417.4135 285.98254 417.4135 285.98254 417.4135 288.16362 L 417.4135 317.60822 C 417.4135 318.69876 417.4135 318.69876 412.5385 318.69876 L 349.1635 318.69876 C 344.2885 318.69876 344.2885 318.69876 344.2885 317.60822 M 417.4135 287.07308 C 419.851 287.07308 419.851 287.07308 419.851 289.25416 L 419.851 317.60822 C 419.851 319.7893 419.851 319.7893 414.976 319.7893 L 351.601 319.7893 C 346.726 319.7893 346.726 319.7893 346.726 318.69876" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(348.411 286.50854)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="7.336211" y="11" textLength="42.017578">listener/</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="6.334258" y="25" textLength="44.021484">property</tspan></text><path d="M 346.726 240.755 L 410.101 240.755 C 414.976 240.755 414.976 240.755 414.976 242.93608 L 414.976 241.84554 C 417.4135 241.84554 417.4135 241.84554 417.4135 244.02662 L 417.4135 242.93608 C 419.851 242.93608 419.851 242.93608 419.851 245.11716 L 419.851 273.47122 C 419.851 275.6523 419.851 275.6523 414.976 275.6523 L 351.601 275.6523 C 346.726 275.6523 346.726 275.6523 346.726 274.56176 C 344.2885 274.56176 344.2885 274.56176 344.2885 273.47122 C 341.851 273.47122 341.851 273.47122 341.851 271.29014 L 341.851 242.93608 C 341.851 240.755 341.851 240.755 346.726 240.755 Z" fill="#fefff6"/><path d="M 346.726 240.755 L 410.101 240.755 C 414.976 240.755 414.976 240.755 414.976 242.93608 L 414.976 271.29014 C 414.976 273.47122 414.976 273.47122 410.101 273.47122 L 346.726 273.47122 C 341.851 273.47122 341.851 273.47122 341.851 271.29014 L 341.851 242.93608 C 341.851 240.755 341.851 240.755 346.726 240.755 M 414.976 241.84554 C 417.4135 241.84554 417.4135 241.84554 417.4135 244.02662 L 417.4135 273.47122 C 417.4135 274.56176 417.4135 274.56176 412.5385 274.56176 L 349.1635 274.56176 C 344.2885 274.56176 344.2885 274.56176 344.2885 273.47122 M 417.4135 242.93608 C 419.851 242.93608 419.851 242.93608 419.851 245.11716 L 419.851 273.47122 C 419.851 275.6523 419.851 275.6523 414.976 275.6523 L 351.601 275.6523 C 346.726 275.6523 346.726 275.6523 346.726 274.56176" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(348.411 242.37154)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="2.329375" y="11" textLength="55.365234">publisher/ </tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="18.343047" y="25" textLength="20.003906">-ext</tspan></text><path d="M 346.726 110.242 L 410.101 110.242 C 414.976 110.242 414.976 110.242 414.976 112.42308 L 414.976 111.33254 C 417.4135 111.33254 417.4135 111.33254 417.4135 113.51362 L 417.4135 112.42308 C 419.851 112.42308 419.851 112.42308 419.851 114.60416 L 419.851 142.95822 C 419.851 145.1393 419.851 145.1393 414.976 145.1393 L 351.601 145.1393 C 346.726 145.1393 346.726 145.1393 346.726 144.04876 C 344.2885 144.04876 344.2885 144.04876 344.2885 142.95822 C 341.851 142.95822 341.851 142.95822 341.851 140.77714 L 341.851 112.42308 C 341.851 110.242 341.851 110.242 346.726 110.242 Z" fill="#fefff6"/><path d="M 346.726 110.242 L 410.101 110.242 C 414.976 110.242 414.976 110.242 414.976 112.42308 L 414.976 140.77714 C 414.976 142.95822 414.976 142.95822 410.101 142.95822 L 346.726 142.95822 C 341.851 142.95822 341.851 142.95822 341.851 140.77714 L 341.851 112.42308 C 341.851 110.242 341.851 110.242 346.726 110.242 M 414.976 111.33254 C 417.4135 111.33254 417.4135 111.33254 417.4135 113.51362 L 417.4135 142.95822 C 417.4135 144.04876 417.4135 144.04876 412.5385 144.04876 L 349.1635 144.04876 C 344.2885 144.04876 344.2885 144.04876 344.2885 142.95822 M 417.4135 112.42308 C 419.851 112.42308 419.851 112.42308 419.851 114.60416 L 419.851 142.95822 C 419.851 145.1393 419.851 145.1393 414.976 145.1393 L 351.601 145.1393 C 346.726 145.1393 346.726 145.1393 346.726 144.04876" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(348.411 111.85854)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="11.00125" y="11" textLength="34.6875">choice</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="2.6604297" y="25" textLength="51.36914">generator</tspan></text><path d="M 346.726 328.15 L 410.101 328.15 C 414.976 328.15 414.976 328.15 414.976 330.33108 L 414.976 329.24054 C 417.4135 329.24054 417.4135 329.24054 417.4135 331.42162 L 417.4135 330.33108 C 419.851 330.33108 419.851 330.33108 419.851 332.51216 L 419.851 360.86622 C 419.851 363.0473 419.851 363.0473 414.976 363.0473 L 351.601 363.0473 C 346.726 363.0473 346.726 363.0473 346.726 361.95676 C 344.2885 361.95676 344.2885 361.95676 344.2885 360.86622 C 341.851 360.86622 341.851 360.86622 341.851 358.68514 L 341.851 330.33108 C 341.851 328.15 341.851 328.15 346.726 328.15 Z" fill="#fefff6"/><path d="M 346.726 328.15 L 410.101 328.15 C 414.976 328.15 414.976 328.15 414.976 330.33108 L 414.976 358.68514 C 414.976 360.86622 414.976 360.86622 410.101 360.86622 L 346.726 360.86622 C 341.851 360.86622 341.851 360.86622 341.851 358.68514 L 341.851 330.33108 C 341.851 328.15 341.851 328.15 346.726 328.15 M 414.976 329.24054 C 417.4135 329.24054 417.4135 329.24054 417.4135 331.42162 L 417.4135 360.86622 C 417.4135 361.95676 417.4135 361.95676 412.5385 361.95676 L 349.1635 361.95676 C 344.2885 361.95676 344.2885 361.95676 344.2885 360.86622 M 417.4135 330.33108 C 419.851 330.33108 419.851 330.33108 419.851 332.51216 L 419.851 360.86622 C 419.851 363.0473 419.851 363.0473 414.976 363.0473 L 351.601 363.0473 C 346.726 363.0473 346.726 363.0473 346.726 361.95676" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(348.411 329.76654)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="2.6721484" y="11" textLength="51.345703">serializer/</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="7.673125" y="25" textLength="41.34375">restorer</tspan></text><path d="M 154.52 285.36 L 217.895 285.36 C 222.77 285.36 222.77 285.36 222.77 287.54108 L 222.77 286.45054 C 225.2075 286.45054 225.2075 286.45054 225.2075 288.63162 L 225.2075 287.54108 C 227.645 287.54108 227.645 287.54108 227.645 289.72216 L 227.645 318.07622 C 227.645 320.2573 227.645 320.2573 222.77 320.2573 L 159.395 320.2573 C 154.52 320.2573 154.52 320.2573 154.52 319.16676 C 152.0825 319.16676 152.0825 319.16676 152.0825 318.07622 C 149.645 318.07622 149.645 318.07622 149.645 315.89514 L 149.645 287.54108 C 149.645 285.36 149.645 285.36 154.52 285.36 Z" fill="#fefff6"/><path d="M 154.52 285.36 L 217.895 285.36 C 222.77 285.36 222.77 285.36 222.77 287.54108 L 222.77 315.89514 C 222.77 318.07622 222.77 318.07622 217.895 318.07622 L 154.52 318.07622 C 149.645 318.07622 149.645 318.07622 149.645 315.89514 L 149.645 287.54108 C 149.645 285.36 149.645 285.36 154.52 285.36 M 222.77 286.45054 C 225.2075 286.45054 225.2075 286.45054 225.2075 288.63162 L 225.2075 318.07622 C 225.2075 319.16676 225.2075 319.16676 220.3325 319.16676 L 156.9575 319.16676 C 152.0825 319.16676 152.0825 319.16676 152.0825 318.07622 M 225.2075 287.54108 C 227.645 287.54108 227.645 287.54108 227.645 289.72216 L 227.645 318.07622 C 227.645 320.2573 227.645 320.2573 222.77 320.2573 L 159.395 320.2573 C 154.52 320.2573 154.52 320.2573 154.52 319.16676" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(156.205 293.97654)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".31960937" y="11" textLength="56.05078">annotation</tspan></text><line x1="249.343" y1="60.98" x2="249.343" y2="410.723" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="10,3,2,3"/><text transform="translate(130.465 327.122)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x=".47558594" y="11" textLength="106.04883"> (optional) in-source</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x="17.148438" y="25" textLength="72.703125">property spec</tspan></text><path d="M 155.56714 196.608 L 221.63501 196.608 C 226.71716 196.608 226.71716 196.608 226.71716 198.78908 L 226.71716 197.69854 C 229.25823 197.69854 229.25823 197.69854 229.25823 199.87962 L 229.25823 198.78908 C 231.7993 198.78908 231.7993 198.78908 231.7993 200.97016 L 231.7993 229.32422 C 231.7993 231.5053 231.7993 231.5053 226.71716 231.5053 L 160.64929 231.5053 C 155.56714 231.5053 155.56714 231.5053 155.56714 230.41476 C 153.02607 230.41476 153.02607 230.41476 153.02607 229.32422 C 150.485 229.32422 150.485 229.32422 150.485 227.14314 L 150.485 198.78908 C 150.485 196.608 150.485 196.608 155.56714 196.608 Z" fill="#fefff6"/><path d="M 155.56714 196.608 L 221.63501 196.608 C 226.71716 196.608 226.71716 196.608 226.71716 198.78908 L 226.71716 227.14314 C 226.71716 229.32422 226.71716 229.32422 221.63501 229.32422 L 155.56714 229.32422 C 150.485 229.32422 150.485 229.32422 150.485 227.14314 L 150.485 198.78908 C 150.485 196.608 150.485 196.608 155.56714 196.608 M 226.71716 197.69854 C 229.25823 197.69854 229.25823 197.69854 229.25823 199.87962 L 229.25823 229.32422 C 229.25823 230.41476 229.25823 230.41476 224.17608 230.41476 L 158.10822 230.41476 C 153.02607 230.41476 153.02607 230.41476 153.02607 229.32422 M 229.25823 198.78908 C 231.7993 198.78908 231.7993 198.78908 231.7993 200.97016 L 231.7993 229.32422 C 231.7993 231.5053 231.7993 231.5053 226.71716 231.5053 L 160.64929 231.5053 C 155.56714 231.5053 155.56714 231.5053 155.56714 230.41476" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(157.11129 198.22454)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="10.0831523" y="11" textLength="39.357422">domain</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="1.7569804" y="25" textLength="56.009766">framework</tspan></text><text transform="translate(172.599 163.656)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x=".158203125" y="11" textLength="32.683594">model</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x=".1640625" y="25" textLength="32.671875">library</tspan></text><g id="id267_Graphic"><path d="M 32.187544 235.617 L 102.98351 235.617 C 108.429356 235.617 108.429356 235.617 108.429356 238.3499 L 108.429356 236.98345 C 111.15228 236.98345 111.15228 236.98345 111.15228 239.71634 L 111.15228 238.3499 C 113.8752 238.3499 113.8752 238.3499 113.8752 241.08279 L 113.8752 276.6104 C 113.8752 279.3433 113.8752 279.3433 108.429356 279.3433 L 37.633388 279.3433 C 32.187544 279.3433 32.187544 279.3433 32.187544 277.97685 C 29.464622 277.97685 29.464622 277.97685 29.464622 276.6104 C 26.7417 276.6104 26.7417 276.6104 26.7417 273.87751 L 26.7417 238.3499 C 26.7417 235.617 26.7417 235.617 32.187544 235.617 Z" fill="white"/><path d="M 32.187544 235.617 L 102.98351 235.617 C 108.429356 235.617 108.429356 235.617 108.429356 238.3499 L 108.429356 273.87751 C 108.429356 276.6104 108.429356 276.6104 102.98351 276.6104 L 32.187544 276.6104 C 26.7417 276.6104 26.7417 276.6104 26.7417 273.87751 L 26.7417 238.3499 C 26.7417 235.617 26.7417 235.617 32.187544 235.617 M 108.429356 236.98345 C 111.15228 236.98345 111.15228 236.98345 111.15228 239.71634 L 111.15228 276.6104 C 111.15228 277.97685 111.15228 277.97685 105.706434 277.97685 L 34.910466 277.97685 C 29.464622 277.97685 29.464622 277.97685 29.464622 276.6104 M 111.15228 238.3499 C 113.8752 238.3499 113.8752 238.3499 113.8752 241.08279 L 113.8752 276.6104 C 113.8752 279.3433 113.8752 279.3433 108.429356 279.3433 L 37.633388 279.3433 C 32.187544 279.3433 32.187544 279.3433 32.187544 277.97685" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(33.48437 248.18452)" fill="red"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="red" x=".57964937" y="11" textLength="63.339844">application</tspan></text></g><line x1="122.237904" y1="240.46846" x2="153.34371" y2="230.27844" marker-start="url(#FilledArrow_Marker_3)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="122.17559" y1="275.74486" x2="150.254375" y2="285.63264" marker-start="url(#FilledArrow_Marker_3)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="341.351" y1="127.69064" x2="316.791" y2="127.69" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="341.851" y1="170.78465" x2="316.816" y2="170.46" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="341.851" y1="214.18565" x2="316.816" y2="214.088" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="341.3511" y1="258.1939" x2="316.816" y2="257.715" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="341.35102" y1="302.33574" x2="316.816" y2="302.095" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="341.35116" y1="345.5861" x2="316.816" y2="344.97" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="23.7492" y1="70.7573" x2="238.504" y2="70.7573" marker-end="url(#FilledArrow_Marker)" marker-start="url(#FilledArrow_Marker_2)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="132.098" y="60.4708" width="34" height="16" fill="white"/><text transform="translate(137.098 60.4708)" fill="blue"><tspan font-family="Helvetica" font-size="13" font-style="italic" font-weight="500" fill="blue" x="0" y="13" textLength="23.841797">SuT</tspan></text><line x1="260.26599" y1="70.768543" x2="485.89801" y2="70.312557" marker-end="url(#FilledArrow_Marker)" marker-start="url(#FilledArrow_Marker_2)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="304.843" y="53.864" width="82" height="32" fill="white"/><text transform="translate(309.843 53.864)" fill="blue"><tspan font-family="Helvetica" font-size="13" font-style="italic" font-weight="500" fill="blue" x="0" y="13" textLength="55.649902">execution</tspan><tspan font-family="Helvetica" font-size="13" font-style="italic" font-weight="500" fill="blue" x="0" y="29" textLength="71.538086">environment</tspan></text><path d="M 346.569 372.698 L 409.944 372.698 C 414.819 372.698 414.819 372.698 414.819 374.87908 L 414.819 373.78854 C 417.2565 373.78854 417.2565 373.78854 417.2565 375.96962 L 417.2565 374.87908 C 419.694 374.87908 419.694 374.87908 419.694 377.06016 L 419.694 405.41422 C 419.694 407.5953 419.694 407.5953 414.819 407.5953 L 351.444 407.5953 C 346.569 407.5953 346.569 407.5953 346.569 406.50476 C 344.1315 406.50476 344.1315 406.50476 344.1315 405.41422 C 341.694 405.41422 341.694 405.41422 341.694 403.23314 L 341.694 374.87908 C 341.694 372.698 341.694 372.698 346.569 372.698 Z" fill="#fefff6"/><path d="M 346.569 372.698 L 409.944 372.698 C 414.819 372.698 414.819 372.698 414.819 374.87908 L 414.819 403.23314 C 414.819 405.41422 414.819 405.41422 409.944 405.41422 L 346.569 405.41422 C 341.694 405.41422 341.694 405.41422 341.694 403.23314 L 341.694 374.87908 C 341.694 372.698 341.694 372.698 346.569 372.698 M 414.819 373.78854 C 417.2565 373.78854 417.2565 373.78854 417.2565 375.96962 L 417.2565 405.41422 C 417.2565 406.50476 417.2565 406.50476 412.3815 406.50476 L 349.0065 406.50476 C 344.1315 406.50476 344.1315 406.50476 344.1315 405.41422 M 417.2565 374.87908 C 419.694 374.87908 419.694 374.87908 419.694 377.06016 L 419.694 405.41422 C 419.694 407.5953 419.694 407.5953 414.819 407.5953 L 351.444 407.5953 C 346.569 407.5953 346.569 407.5953 346.569 406.50476" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(348.254 374.31454)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="10.336211" y="11" textLength="36.017578">search</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="7.0022266" y="25" textLength="42.685547">strategy</tspan></text><line x1="341.19404" y1="390.13999" x2="316.659" y2="389.813" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(265.13 289.673)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x="10.326172" y="11" textLength="25.347656">Java</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x="6.995117" y="25" textLength="32.009766">virtual</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x=".32128906" y="39" textLength="45.357422">machine</tspan></text><path d="M 118.697 248.87425 L 168.44068 248.87425 L 168.44068 239.294 L 185.0219 258.4545 L 168.44068 277.615 L 168.44068 268.03475 L 118.697 268.03475 Z" fill="#ebe8ff"/><path d="M 118.697 248.87425 L 168.44068 248.87425 L 168.44068 239.294 L 185.0219 258.4545 L 168.44068 277.615 L 168.44068 268.03475 L 118.697 268.03475 Z" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(123.348 250.672)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x=".1484375" y="11" textLength="48.703125">bytecode</tspan></text><text transform="translate(484.521 250.515)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x=".32617188" y="11" textLength="31.347656">report</tspan></text><text transform="translate(141.086 102.486)" fill="red"><tspan font-family="Helvetica" font-size="15" font-weight="500" fill="red" x="0" y="15" textLength="26.66748">JPF</tspan></text><line x1="627.333" y1="314.722" x2="627.333" y2="320.178" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><line x1="624.70977" y1="327.42927" x2="618.59018" y2="334.78068" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="613.34386" y1="341.08335" x2="607.2231" y2="348.43661" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="604.6" y1="355.688" x2="604.6" y2="361.143" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 597.527 364.956 C 594.45664 365.32263 591.13855 366.62494 588.315 366.056 C 585.49145 365.48706 582.53897 363.92343 580.584 361.542 C 578.62903 359.16057 576.91747 355.24282 576.584 351.766 C 576.25053 348.28918 577.16148 343.96717 578.583 340.679 C 580.00452 337.39083 582.44243 334.16829 585.114 332.035 C 587.78557 329.90171 591.53098 328.46127 594.614 327.878 C 597.69702 327.29473 600.5994 327.27322 603.614 328.535 C 605.1366 329.1723 606.66708 330.34182 608.19938 331.6403" marker-end="url(#FilledArrow_Marker_4)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="631.00532" y1="326.1034" x2="651.1297" y2="336.10659" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><line x1="652.24505" y1="341.1374" x2="635.57295" y2="362.0376" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="634.06917" y1="369.20604" x2="636.22385" y2="377.31395" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 651.872 350.006 C 649.0306 353.83895 644.38623 358.33382 643.347 361.506 C 642.30777 364.67818 643.85634 367.09003 645.636 369.041 C 647.41566 370.99197 651.09246 372.4959 654.026 373.213 C 656.95954 373.9301 660.37495 373.87278 663.239 373.344 C 666.10305 372.81522 669.20403 371.84615 671.212 370.04 C 673.21997 368.23385 675.44765 365.4452 675.288 362.506 C 675.12835 359.5668 672.3428 355.48602 670.254 352.403 C 669.2545 350.92772 668.0666 349.58246 666.82558 348.27392" marker-end="url(#FilledArrow_Marker_4)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="658.56888" y1="339.55327" x2="693.57913" y2="354.62173" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><line x1="628.534" y1="402.73847" x2="634.65403" y2="410.0915" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="646.02086" y1="402.73835" x2="639.9001" y2="410.09161" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="697.2711" y1="360.34232" x2="697.0259" y2="373.76468" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><line x1="696.951" y1="381.964" x2="696.951" y2="387.418" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="694.32786" y1="394.66935" x2="688.2071" y2="402.02261" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="682.9609" y1="408.32537" x2="676.84107" y2="415.6776" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="699.57414" y1="394.66935" x2="705.6949" y2="402.02261" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="627.333" cy="310.622" r="3.6000058" fill="yellow"/><circle cx="627.333" cy="310.622" r="3.6000058" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="627.333" cy="324.278" r="3.6000058" fill="yellow"/><circle cx="627.333" cy="324.278" r="3.6000058" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="615.967" cy="337.932" r="3.6000058" fill="white"/><circle cx="615.967" cy="337.932" r="3.6000058" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="604.6" cy="351.588" r="3.6000058" fill="white"/><circle cx="604.6" cy="351.588" r="3.6000058" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="604.6" cy="365.243" r="3.6000058" fill="blue"/><circle cx="604.6" cy="365.243" r="3.6000058" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="654.802" cy="337.932" r="3.6000058" fill="yellow"/><circle cx="654.802" cy="337.932" r="3.6000058" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="633.016" cy="365.243" r="3.6000058" fill="blue"/><circle cx="633.016" cy="365.243" r="3.6000058" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="697.346" cy="356.243" r="3.6000058" fill="yellow"/><circle cx="697.346" cy="356.243" r="3.6000058" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="637.277" cy="381.277" r="3.6000058" fill="white"/><circle cx="637.277" cy="381.277" r="3.6000058" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="648.644" cy="399.587" r="3.6000058" fill="white"/><circle cx="648.644" cy="399.587" r="3.6000058" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="625.911" cy="399.587" r="3.6000058" fill="white"/><circle cx="625.911" cy="399.587" r="3.6000058" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="637.277" cy="413.243" r="3.6000058" fill="white"/><circle cx="637.277" cy="413.243" r="3.6000058" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="696.951" cy="391.518" r="3.6000058" fill="white"/><circle cx="696.951" cy="391.518" r="3.6000058" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="708.318" cy="405.174" r="3.6000058" fill="white"/><circle cx="708.318" cy="405.174" r="3.6000058" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="685.584" cy="405.174" r="3.6000058" fill="white"/><circle cx="685.584" cy="405.174" r="3.6000058" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="674.218" cy="418.829" r="3.6000058" fill="white"/><circle cx="674.218" cy="418.829" r="3.6000058" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="696.951" cy="377.864" r="3.6000058" fill="red"/><circle cx="696.951" cy="377.864" r="3.6000058" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(581.584 332.815)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="blue" x="2.0389578" y="11" textLength="20.021484">end</tspan></text><text transform="translate(645.152 355.212)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="blue" x="1.5648078" y="11" textLength="26.021484">seen</tspan></text><text transform="translate(698.473 307.269)" fill="red"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="red" x="1.88925" y="11" textLength="52.6875">error-path</tspan></text><text transform="translate(703.341 369.88)" fill="red"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="red" x="6.2222578" y="11" textLength="47.35547">property </tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="red" x="6.219328" y="25" textLength="44.027344">violation</tspan></text><path d="M 680.049 343.105 C 688.4935 338.63578 694.70723 336.80062 705.385 329.696 C 716.06277 322.59138 737.21352 311.11894 744.122 300.473 C 751.03048 289.82706 751.51837 281.20713 746.84 265.814 C 742.84603 252.67272 730.70992 233.928 720.8592 216.75722" marker-end="url(#FilledArrow_Marker_5)" stroke="#ff8987" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><line x1="618.13855" y1="341.41063" x2="630.84446" y2="361.76436" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="635.11422" y1="384.7611" x2="628.07376" y2="396.10288" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="639.4399" y1="384.76102" x2="646.4811" y2="396.10298" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 706.065 373.189 C 710.36857 367.52657 717.165 361.63612 718.977 356.2 C 720.789 350.76388 723.2802 345.6655 716.938 340.569 C 710.5958 335.4725 690.9995 330.71432 680.92 325.618 C 670.8405 320.52168 663.47663 316.3302 656.455 309.988 C 651.8553 305.83336 648.22683 300.7056 644.6155 295.56124" marker-end="url(#FilledArrow_Marker_5)" stroke="#ff8987" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><text transform="translate(313.697 453.368)" fill="red"><tspan font-family="Helvetica" font-size="15" font-weight="500" fill="red" x="0" y="15" textLength="71.68213">host - JVM</tspan></text><line x1="429.938" y1="29.5677" x2="429.938" y2="410.892" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="10,3,2,3"/><rect x="225.929" y="30.9748" width="100" height="16" fill="white"/><text transform="translate(230.929 30.9748)" fill="blue"><tspan font-family="Helvetica" font-size="13" font-style="italic" font-weight="500" fill="blue" x="0" y="13" textLength="89.59082">JPF distribution</tspan></text><path d="M 437.51213 154.523 L 483.03984 154.523 C 486.54197 154.523 486.54197 154.523 486.54197 156.70408 L 486.54197 155.61354 C 488.29303 155.61354 488.29303 155.61354 488.29303 157.79462 L 488.29303 156.70408 C 490.0441 156.70408 490.0441 156.70408 490.0441 158.88516 L 490.0441 187.23922 C 490.0441 189.4203 490.0441 189.4203 486.54197 189.4203 L 441.01426 189.4203 C 437.51213 189.4203 437.51213 189.4203 437.51213 188.32976 C 435.76107 188.32976 435.76107 188.32976 435.76107 187.23922 C 434.01 187.23922 434.01 187.23922 434.01 185.05814 L 434.01 156.70408 C 434.01 154.523 434.01 154.523 437.51213 154.523 Z" fill="#fefff6"/><path d="M 437.51213 154.523 L 483.03984 154.523 C 486.54197 154.523 486.54197 154.523 486.54197 156.70408 L 486.54197 185.05814 C 486.54197 187.23922 486.54197 187.23922 483.03984 187.23922 L 437.51213 187.23922 C 434.01 187.23922 434.01 187.23922 434.01 185.05814 L 434.01 156.70408 C 434.01 154.523 434.01 154.523 437.51213 154.523 M 486.54197 155.61354 C 488.29303 155.61354 488.29303 155.61354 488.29303 157.79462 L 488.29303 187.23922 C 488.29303 188.32976 488.29303 188.32976 484.7909 188.32976 L 439.2632 188.32976 C 435.76107 188.32976 435.76107 188.32976 435.76107 187.23922 M 488.29303 156.70408 C 490.0441 156.70408 490.0441 156.70408 490.0441 158.88516 L 490.0441 187.23922 C 490.0441 189.4203 490.0441 189.4203 486.54197 189.4203 L 441.01426 189.4203 C 437.51213 189.4203 437.51213 189.4203 437.51213 188.32976" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(440.13068 163.13954)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="13.953601" y="11" textLength="10.001953">...</tspan></text><path d="M 346.726 153.336 L 410.101 153.336 C 414.976 153.336 414.976 153.336 414.976 155.51708 L 414.976 154.42654 C 417.4135 154.42654 417.4135 154.42654 417.4135 156.60762 L 417.4135 155.51708 C 419.851 155.51708 419.851 155.51708 419.851 157.69816 L 419.851 186.05222 C 419.851 188.2333 419.851 188.2333 414.976 188.2333 L 351.601 188.2333 C 346.726 188.2333 346.726 188.2333 346.726 187.14276 C 344.2885 187.14276 344.2885 187.14276 344.2885 186.05222 C 341.851 186.05222 341.851 186.05222 341.851 183.87114 L 341.851 155.51708 C 341.851 153.336 341.851 153.336 346.726 153.336 Z" fill="#fefff6"/><path d="M 346.726 153.336 L 410.101 153.336 C 414.976 153.336 414.976 153.336 414.976 155.51708 L 414.976 183.87114 C 414.976 186.05222 414.976 186.05222 410.101 186.05222 L 346.726 186.05222 C 341.851 186.05222 341.851 186.05222 341.851 183.87114 L 341.851 155.51708 C 341.851 153.336 341.851 153.336 346.726 153.336 M 414.976 154.42654 C 417.4135 154.42654 417.4135 154.42654 417.4135 156.60762 L 417.4135 186.05222 C 417.4135 187.14276 417.4135 187.14276 412.5385 187.14276 L 349.1635 187.14276 C 344.2885 187.14276 344.2885 187.14276 344.2885 186.05222 M 417.4135 155.51708 C 419.851 155.51708 419.851 155.51708 419.851 157.69816 L 419.851 186.05222 C 419.851 188.2333 419.851 188.2333 414.976 188.2333 L 351.601 188.2333 C 346.726 188.2333 346.726 188.2333 346.726 187.14276" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(348.411 154.95254)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="12.334258" y="11" textLength="32.021484">native</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="16.336211" y="25" textLength="24.017578">peer</tspan></text><path d="M 437.68213 285.265 L 483.20984 285.265 C 486.71197 285.265 486.71197 285.265 486.71197 287.44608 L 486.71197 286.35554 C 488.46303 286.35554 488.46303 286.35554 488.46303 288.53662 L 488.46303 287.44608 C 490.2141 287.44608 490.2141 287.44608 490.2141 289.62716 L 490.2141 317.98122 C 490.2141 320.1623 490.2141 320.1623 486.71197 320.1623 L 441.18426 320.1623 C 437.68213 320.1623 437.68213 320.1623 437.68213 319.07176 C 435.93107 319.07176 435.93107 319.07176 435.93107 317.98122 C 434.18 317.98122 434.18 317.98122 434.18 315.80014 L 434.18 287.44608 C 434.18 285.265 434.18 285.265 437.68213 285.265 Z" fill="#fefff6"/><path d="M 437.68213 285.265 L 483.20984 285.265 C 486.71197 285.265 486.71197 285.265 486.71197 287.44608 L 486.71197 315.80014 C 486.71197 317.98122 486.71197 317.98122 483.20984 317.98122 L 437.68213 317.98122 C 434.18 317.98122 434.18 317.98122 434.18 315.80014 L 434.18 287.44608 C 434.18 285.265 434.18 285.265 437.68213 285.265 M 486.71197 286.35554 C 488.46303 286.35554 488.46303 286.35554 488.46303 288.53662 L 488.46303 317.98122 C 488.46303 319.07176 488.46303 319.07176 484.9609 319.07176 L 439.4332 319.07176 C 435.93107 319.07176 435.93107 319.07176 435.93107 317.98122 M 488.46303 287.44608 C 490.2141 287.44608 490.2141 287.44608 490.2141 289.62716 L 490.2141 317.98122 C 490.2141 320.1623 490.2141 320.1623 486.71197 320.1623 L 441.18426 320.1623 C 437.68213 320.1623 437.68213 320.1623 437.68213 319.07176" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(440.30068 293.88154)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="13.953601" y="11" textLength="10.001953">...</tspan></text><path d="M 437.68213 242.749 L 483.20984 242.749 C 486.71197 242.749 486.71197 242.749 486.71197 244.93008 L 486.71197 243.83954 C 488.46303 243.83954 488.46303 243.83954 488.46303 246.02062 L 488.46303 244.93008 C 490.2141 244.93008 490.2141 244.93008 490.2141 247.11116 L 490.2141 275.46522 C 490.2141 277.6463 490.2141 277.6463 486.71197 277.6463 L 441.18426 277.6463 C 437.68213 277.6463 437.68213 277.6463 437.68213 276.55576 C 435.93107 276.55576 435.93107 276.55576 435.93107 275.46522 C 434.18 275.46522 434.18 275.46522 434.18 273.28414 L 434.18 244.93008 C 434.18 242.749 434.18 242.749 437.68213 242.749 Z" fill="#fefff6"/><path d="M 437.68213 242.749 L 483.20984 242.749 C 486.71197 242.749 486.71197 242.749 486.71197 244.93008 L 486.71197 273.28414 C 486.71197 275.46522 486.71197 275.46522 483.20984 275.46522 L 437.68213 275.46522 C 434.18 275.46522 434.18 275.46522 434.18 273.28414 L 434.18 244.93008 C 434.18 242.749 434.18 242.749 437.68213 242.749 M 486.71197 243.83954 C 488.46303 243.83954 488.46303 243.83954 488.46303 246.02062 L 488.46303 275.46522 C 488.46303 276.55576 488.46303 276.55576 484.9609 276.55576 L 439.4332 276.55576 C 435.93107 276.55576 435.93107 276.55576 435.93107 275.46522 M 488.46303 244.93008 C 490.2141 244.93008 490.2141 244.93008 490.2141 247.11116 L 490.2141 275.46522 C 490.2141 277.6463 490.2141 277.6463 486.71197 277.6463 L 441.18426 277.6463 C 437.68213 277.6463 437.68213 277.6463 437.68213 276.55576" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(440.30068 251.36554)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="13.953601" y="11" textLength="10.001953">...</tspan></text><path d="M 482.577 248.71725 L 532.32068 248.71725 L 532.32068 239.137 L 548.9019 258.2975 L 532.32068 277.458 L 532.32068 267.87775 L 482.577 267.87775 Z" fill="#ebe8ff"/><path d="M 482.577 248.71725 L 532.32068 248.71725 L 532.32068 239.137 L 548.9019 258.2975 L 532.32068 277.458 L 532.32068 267.87775 L 482.577 267.87775 Z" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="439.75" y="31.1434" width="73" height="16" fill="white"/><text transform="translate(444.75 31.1434)" fill="blue"><tspan font-family="Helvetica" font-size="13" font-style="italic" font-weight="500" fill="blue" x="0" y="13" textLength="62.149902">extensions</tspan></text><g id="id10_Graphic"><path d="M 277.115 548.62458 L 277.115 511.94762 C 277.115 509.4169 287.67938 507.363 300.6962 507.363 C 313.71302 507.363 324.2774 509.4169 324.2774 511.94762 L 324.2774 548.62458 C 324.2774 551.1553 313.71302 553.2092 300.6962 553.2092 C 287.67938 553.2092 277.115 551.1553 277.115 548.62458" fill="white"/><path d="M 277.115 548.62458 L 277.115 511.94762 C 277.115 509.4169 287.67938 507.363 300.6962 507.363 C 313.71302 507.363 324.2774 509.4169 324.2774 511.94762 L 324.2774 548.62458 C 324.2774 551.1553 313.71302 553.2092 300.6962 553.2092 C 287.67938 553.2092 277.115 551.1553 277.115 548.62458 M 277.115 511.94762 C 277.115 514.47833 287.67938 516.53224 300.6962 516.53224 C 313.71302 516.53224 324.2774 514.47833 324.2774 511.94762" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(282.115 524.0784)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x="6.5191883" y="14" textLength="24.124023">*.jpf</tspan></text></g><g id="id312_Graphic"><rect x="407.819" y="548.116" width="1.0188" height=".125" fill="white"/><rect x="407.819" y="548.116" width="1.0188" height=".125" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><path d="M 77.7265 380.014 L 77.7265 519.852 C 77.7265 527.584 83.994514 533.852 91.7265 533.852 L 257.324 533.852" marker-end="url(#Arrow_Marker)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><path d="M 422.082 415.5 L 421.1825 519.97253 C 421.11634 527.6572 414.86798 533.852 407.18302 533.852 L 344.365 533.852" marker-end="url(#Arrow_Marker)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><path d="M 336.8 397.341 L 336.8 401.679 C 336.8 409.41099 343.06801 415.679 350.8 415.679 L 473.80245 415.679 C 481.53444 415.679 487.80245 409.41099 487.80245 401.679 C 487.80245 401.41993 487.79526 401.16092 487.7809 400.90225 L 487.583 397.341" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><line x1="299.826" y1="501.253" x2="298.89868" y2="401.12458" marker-end="url(#Arrow_Marker)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><text transform="translate(327.878 553.383)" fill="blue"><tspan font-family="Helvetica" font-size="13" font-style="italic" font-weight="500" fill="blue" x="0" y="13" textLength="54.183594">JPF confi</tspan><tspan font-family="Helvetica" font-size="13" font-style="italic" font-weight="500" fill="blue" x="54.183594" y="13" textLength="46.979004">guration</tspan></text><text transform="translate(496.924 250.84)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x=".32617188" y="11" textLength="31.347656">report</tspan></text><path d="M 139.874 445.218 L 99.1214 445.218 L 99.1214 291.09" marker-end="url(#FilledArrow_Marker_6)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 207.836 451.331 L 245.532 451.331 L 245.532 442.89" marker-end="url(#FilledArrow_Marker_6)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(202.648 452.006)" fill="blue"><tspan font-family="Helvetica" font-size="13" font-style="italic" font-weight="500" fill="blue" x="0" y="13" textLength="50.59082">standard</tspan><tspan font-family="Helvetica" font-size="13" font-style="italic" font-weight="500" fill="blue" x="0" y="29" textLength="76.584473">Java libraries</tspan></text><g filter="url(#Shadow_2)"><path d="M 152.821 462.01758 L 152.821 425.34062 C 152.821 422.8099 163.38538 420.756 176.4022 420.756 C 189.41902 420.756 199.9834 422.8099 199.9834 425.34062 L 199.9834 462.01758 C 199.9834 464.5483 189.41902 466.6022 176.4022 466.6022 C 163.38538 466.6022 152.821 464.5483 152.821 462.01758" fill="white"/><path d="M 152.821 462.01758 L 152.821 425.34062 C 152.821 422.8099 163.38538 420.756 176.4022 420.756 C 189.41902 420.756 199.9834 422.8099 199.9834 425.34062 L 199.9834 462.01758 C 199.9834 464.5483 189.41902 466.6022 176.4022 466.6022 C 163.38538 466.6022 152.821 464.5483 152.821 462.01758 M 152.821 425.34062 C 152.821 427.87133 163.38538 429.92524 176.4022 429.92524 C 189.41902 429.92524 199.9834 427.87133 199.9834 425.34062" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(157.821 437.4714)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x="6.1329578" y="14" textLength="24.896484">*.jar</tspan></text></g><g id="id320_Graphic"><path d="M 147.727 455.90558 L 147.727 419.22862 C 147.727 416.6979 158.29138 414.644 171.3082 414.644 C 184.32502 414.644 194.8894 416.6979 194.8894 419.22862 L 194.8894 455.90558 C 194.8894 458.4363 184.32502 460.4902 171.3082 460.4902 C 158.29138 460.4902 147.727 458.4363 147.727 455.90558" fill="white"/><path d="M 147.727 455.90558 L 147.727 419.22862 C 147.727 416.6979 158.29138 414.644 171.3082 414.644 C 184.32502 414.644 194.8894 416.6979 194.8894 419.22862 L 194.8894 455.90558 C 194.8894 458.4363 184.32502 460.4902 171.3082 460.4902 C 158.29138 460.4902 147.727 458.4363 147.727 455.90558 M 147.727 419.22862 C 147.727 421.75933 158.29138 423.81324 171.3082 423.81324 C 184.32502 423.81324 194.8894 421.75933 194.8894 419.22862" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(152.727 431.3594)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x="6.1329578" y="14" textLength="24.896484">*.jar</tspan></text></g></g></g></svg>