written stuff, fixed uml

9 files changed, 516 insertions, 515 deletions

diff --git a/LaTeX/images/core.eps b/LaTeX/images/core.eps
index 86a1417..bcf0c5c 100644
--- a/LaTeX/images/core.eps
+++ b/LaTeX/images/core.eps
@@ -113,60 +113,60 @@ isolatin1encoding /_TimesRoman /TimesRoman RE
 1.0 1.0 0.78431374 setrgbcolor
 newpath
 392 -216 moveto
-168 0 rlineto
+175 0 rlineto
 0 -43 rlineto
--168 0 rlineto
+-175 0 rlineto
 closepath
 eofill
 newpath
 392 -216 moveto
-168 0 rlineto
+175 0 rlineto
 0 -1 rlineto
--168 0 rlineto
+-175 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 392 -216 moveto
-169 0 rlineto
+176 0 rlineto
 0 -2 rlineto
--169 0 rlineto
+-176 0 rlineto
 closepath
 stroke
 1.0 1.0 0.78431374 setrgbcolor
 newpath
 392 -218 moveto
-168 0 rlineto
+175 0 rlineto
 0 -19 rlineto
--168 0 rlineto
+-175 0 rlineto
 closepath
 eofill
 isolatin1encoding /_Helvetica /Helvetica RE
 /_Helvetica findfont
 10 scalefont setfont
 0.0 0.0 0.0 setrgbcolor
-433 -231 moveto
+436 -231 moveto
 (VSInternalProcess) show
 1.0 1.0 0.78431374 setrgbcolor
 newpath
 393 -239 moveto
-167 0 rlineto
+176 0 rlineto
 0 -20 rlineto
--167 0 rlineto
+-176 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 393 -239 moveto
-561 -239 lineto
+568 -239 lineto
 stroke
 396 -253 moveto
-(getTasks\(\) : utils.VSPriorityQueue) show
+(+ getTasks\(\) : utils.VSPriorityQueue) show
 newpath
 392 -216 moveto
-169 0 rlineto
+176 0 rlineto
 0 -44 rlineto
--169 0 rlineto
+-176 0 rlineto
 closepath
 stroke
 1.0 1.0 0.78431374 setrgbcolor
@@ -213,188 +213,188 @@ stroke
 1.0 1.0 0.78431374 setrgbcolor
 newpath
 192 -296 moveto
-161 0 rlineto
+169 0 rlineto
 0 -78 rlineto
--161 0 rlineto
+-169 0 rlineto
 closepath
 eofill
 newpath
 192 -296 moveto
-161 0 rlineto
+169 0 rlineto
 0 -1 rlineto
--161 0 rlineto
+-169 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 192 -296 moveto
-162 0 rlineto
+170 0 rlineto
 0 -2 rlineto
--162 0 rlineto
+-170 0 rlineto
 closepath
 stroke
 1.0 1.0 0.78431374 setrgbcolor
 newpath
 192 -298 moveto
-161 0 rlineto
+169 0 rlineto
 0 -19 rlineto
--161 0 rlineto
+-169 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
-255 -311 moveto
+259 -311 moveto
 (VSTask) show
 1.0 1.0 0.78431374 setrgbcolor
 newpath
 193 -354 moveto
-160 0 rlineto
+168 0 rlineto
 0 -20 rlineto
--160 0 rlineto
+-168 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 193 -354 moveto
-354 -354 lineto
+362 -354 lineto
 stroke
 196 -368 moveto
-(runTask\(... : void\) : void) show
+(+ runTask\(... : void\) : void) show
 1.0 1.0 0.78431374 setrgbcolor
 newpath
 193 -319 moveto
-160 0 rlineto
+168 0 rlineto
 0 -33 rlineto
--160 0 rlineto
+-168 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 193 -319 moveto
-354 -319 lineto
+362 -319 lineto
 stroke
 196 -333 moveto
-(process : VSInternalProcess) show
+(- process : VSInternalProcess) show
 196 -346 moveto
-(event : VSAbstractEvent) show
+(- event : VSAbstractEvent) show
 newpath
 192 -296 moveto
-162 0 rlineto
+170 0 rlineto
 0 -79 rlineto
--162 0 rlineto
+-170 0 rlineto
 closepath
 stroke
 1.0 1.0 0.78431374 setrgbcolor
 newpath
 392 -296 moveto
-176 0 rlineto
+184 0 rlineto
 0 -78 rlineto
--176 0 rlineto
+-184 0 rlineto
 closepath
 eofill
 newpath
 392 -296 moveto
-176 0 rlineto
+184 0 rlineto
 0 -1 rlineto
--176 0 rlineto
+-184 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 392 -296 moveto
-177 0 rlineto
+185 0 rlineto
 0 -2 rlineto
--177 0 rlineto
+-185 0 rlineto
 closepath
 stroke
 1.0 1.0 0.78431374 setrgbcolor
 newpath
 392 -298 moveto
-176 0 rlineto
+184 0 rlineto
 0 -19 rlineto
--176 0 rlineto
+-184 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
-441 -311 moveto
+445 -311 moveto
 (VSTaskManager) show
 1.0 1.0 0.78431374 setrgbcolor
 newpath
 393 -354 moveto
-175 0 rlineto
+183 0 rlineto
 0 -20 rlineto
--175 0 rlineto
+-183 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 393 -354 moveto
-569 -354 lineto
+577 -354 lineto
 stroke
 396 -368 moveto
-(runTasks\(... : void\) : void) show
+(+ runTasks\(... : void\) : void) show
 1.0 1.0 0.78431374 setrgbcolor
 newpath
 393 -319 moveto
-175 0 rlineto
+183 0 rlineto
 0 -33 rlineto
--175 0 rlineto
+-183 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 393 -319 moveto
-569 -319 lineto
+577 -319 lineto
 stroke
 396 -333 moveto
-(processes : java.util.ArrayList) show
+(- processes : java.util.ArrayList) show
 396 -346 moveto
-(globalTasks : utils.VSPriorityQueue) show
+(- globalTasks : utils.VSPriorityQueue) show
 newpath
 392 -296 moveto
-177 0 rlineto
+185 0 rlineto
 0 -79 rlineto
--177 0 rlineto
+-185 0 rlineto
 closepath
 stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 256 -56 moveto
-72 0 rlineto
+81 0 rlineto
 0 -21 rlineto
--72 0 rlineto
+-81 0 rlineto
 closepath
 eofill
 newpath
 256 -56 moveto
-72 0 rlineto
+81 0 rlineto
 0 -1 rlineto
--72 0 rlineto
+-81 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 256 -56 moveto
-73 0 rlineto
+82 0 rlineto
 0 -2 rlineto
--73 0 rlineto
+-82 0 rlineto
 closepath
 stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 256 -58 moveto
-72 0 rlineto
+81 0 rlineto
 0 -19 rlineto
--72 0 rlineto
+-81 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 260 -71 moveto
-(prefs.VSPrefs) show
+(prefs :: VSPrefs) show
 newpath
 256 -56 moveto
-73 0 rlineto
+82 0 rlineto
 0 -22 rlineto
--73 0 rlineto
+-82 0 rlineto
 closepath
 stroke
 newpath
@@ -418,133 +418,133 @@ stroke
 [5.0 5.0 ] 0 setdash
 newpath
 392 -344 moveto
-354 -344 lineto
+362 -344 lineto
 stroke
 [] 0 setdash
 newpath
-366 -337 moveto
-354 -344 lineto
+374 -337 moveto
+362 -344 lineto
 stroke
 newpath
-366 -351 moveto
-354 -344 lineto
+374 -351 moveto
+362 -344 lineto
 stroke
 1.0 1.0 0.78431374 setrgbcolor
 newpath
 240 -216 moveto
-113 0 rlineto
+117 0 rlineto
 0 -43 rlineto
--113 0 rlineto
+-117 0 rlineto
 closepath
 eofill
 newpath
 240 -216 moveto
-113 0 rlineto
+117 0 rlineto
 0 -1 rlineto
--113 0 rlineto
+-117 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 240 -216 moveto
-114 0 rlineto
+118 0 rlineto
 0 -2 rlineto
--114 0 rlineto
+-118 0 rlineto
 closepath
 stroke
 1.0 1.0 0.78431374 setrgbcolor
 newpath
 240 -218 moveto
-113 0 rlineto
+117 0 rlineto
 0 -19 rlineto
--113 0 rlineto
+-117 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
-259 -231 moveto
+261 -231 moveto
 (VSMessageStub) show
 1.0 1.0 0.78431374 setrgbcolor
 newpath
 241 -239 moveto
-112 0 rlineto
+119 0 rlineto
 0 -20 rlineto
--112 0 rlineto
+-119 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 241 -239 moveto
-354 -239 lineto
+358 -239 lineto
 stroke
 244 -253 moveto
-(message : VSMessage) show
+(- message : VSMessage) show
 newpath
 240 -216 moveto
-114 0 rlineto
+118 0 rlineto
 0 -44 rlineto
--114 0 rlineto
+-118 0 rlineto
 closepath
 stroke
 1.0 0.78431374 1.0 setrgbcolor
 newpath
 392 -136 moveto
-144 0 rlineto
+151 0 rlineto
 0 -43 rlineto
--144 0 rlineto
+-151 0 rlineto
 closepath
 eofill
 newpath
 392 -136 moveto
-144 0 rlineto
+151 0 rlineto
 0 -1 rlineto
--144 0 rlineto
+-151 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 392 -136 moveto
-145 0 rlineto
+152 0 rlineto
 0 -2 rlineto
--145 0 rlineto
+-152 0 rlineto
 closepath
 stroke
 1.0 0.78431374 1.0 setrgbcolor
 newpath
 392 -138 moveto
-144 0 rlineto
+151 0 rlineto
 0 -19 rlineto
--144 0 rlineto
+-151 0 rlineto
 closepath
 eofill
 isolatin1encoding /_Helvetica-Oblique /Helvetica-Oblique RE
 /_Helvetica-Oblique findfont
 10 scalefont setfont
 0.0 0.0 0.0 setrgbcolor
-419 -151 moveto
+423 -151 moveto
 (VSAbstractProcess) show
 1.0 0.78431374 1.0 setrgbcolor
 newpath
 393 -159 moveto
-143 0 rlineto
+150 0 rlineto
 0 -20 rlineto
--143 0 rlineto
+-150 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 393 -159 moveto
-537 -159 lineto
+544 -159 lineto
 stroke
 isolatin1encoding /_Helvetica /Helvetica RE
 /_Helvetica findfont
 10 scalefont setfont
 396 -173 moveto
-(tasks : utils.VSPriorityQueue) show
+(# tasks : utils.VSPriorityQueue) show
 newpath
 392 -136 moveto
-145 0 rlineto
+152 0 rlineto
 0 -44 rlineto
--145 0 rlineto
+-152 0 rlineto
 closepath
 stroke
 [5.0 5.0 ] 0 setdash
@@ -582,16 +582,16 @@ stroke
 [5.0 5.0 ] 0 setdash
 newpath
 392 -180 moveto
-354 -296 lineto
+362 -296 lineto
 stroke
 [] 0 setdash
 newpath
-351 -282 moveto
-354 -296 lineto
+358 -282 moveto
+362 -296 lineto
 stroke
 newpath
-364 -286 moveto
-354 -296 lineto
+371 -286 moveto
+362 -296 lineto
 stroke
 [5.0 5.0 ] 0 setdash
 newpath
@@ -610,60 +610,60 @@ stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 392 -56 moveto
-129 0 rlineto
+135 0 rlineto
 0 -21 rlineto
--129 0 rlineto
+-135 0 rlineto
 closepath
 eofill
 newpath
 392 -56 moveto
-129 0 rlineto
+135 0 rlineto
 0 -1 rlineto
--129 0 rlineto
+-135 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 392 -56 moveto
-130 0 rlineto
+136 0 rlineto
 0 -2 rlineto
--130 0 rlineto
+-136 0 rlineto
 closepath
 stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 392 -58 moveto
-129 0 rlineto
+135 0 rlineto
 0 -19 rlineto
--129 0 rlineto
+-135 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 396 -71 moveto
-(prefs.VSSerializablePrefs) show
+(prefs : VSSerializablePrefs) show
 newpath
 392 -56 moveto
-130 0 rlineto
+136 0 rlineto
 0 -22 rlineto
--130 0 rlineto
+-136 0 rlineto
 closepath
 stroke
 newpath
 392 -64 moveto
-329 -64 lineto
+338 -64 lineto
 stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
-329 -64 moveto
-341 -57 lineto
-341 -71 lineto
+338 -64 moveto
+350 -57 lineto
+350 -71 lineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
-329 -64 moveto
-341 -57 lineto
-341 -71 lineto
+338 -64 moveto
+350 -57 lineto
+350 -71 lineto
 closepath
 stroke
 newpath
diff --git a/LaTeX/images/events.eps b/LaTeX/images/events.eps
index 556f117..08880e1 100644
--- a/LaTeX/images/events.eps
+++ b/LaTeX/images/events.eps
@@ -197,62 +197,62 @@ isolatin1encoding /_TimesRoman /TimesRoman RE
 0.78431374 1.0 1.0 setrgbcolor
 newpath
 200 -320 moveto
-191 0 rlineto
+205 0 rlineto
 0 -60 rlineto
--191 0 rlineto
+-205 0 rlineto
 closepath
 eofill
 newpath
 200 -320 moveto
-191 0 rlineto
+205 0 rlineto
 0 -14 rlineto
--191 0 rlineto
+-205 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 200 -320 moveto
-192 0 rlineto
+206 0 rlineto
 0 -15 rlineto
--192 0 rlineto
+-206 0 rlineto
 closepath
 stroke
 isolatin1encoding /_Helvetica /Helvetica RE
 /_Helvetica findfont
 10 scalefont setfont
-258 -334 moveto
+265 -334 moveto
 (<<interface>>) show
 0.78431374 1.0 1.0 setrgbcolor
 newpath
 200 -335 moveto
-191 0 rlineto
+205 0 rlineto
 0 -19 rlineto
--191 0 rlineto
+-205 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
-254 -348 moveto
+261 -348 moveto
 (VSCopyableEvent) show
 0.78431374 1.0 1.0 setrgbcolor
 newpath
 201 -356 moveto
-190 0 rlineto
+204 0 rlineto
 0 -23 rlineto
--190 0 rlineto
+-204 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 201 -356 moveto
-392 -356 lineto
+406 -356 lineto
 stroke
 204 -370 moveto
-(initCopy\(copy : VSAbstractEvent\) : void) show
+(+ initCopy\(copy : VSAbstractEvent\) : void) show
 newpath
 200 -320 moveto
-192 0 rlineto
+206 0 rlineto
 0 -61 rlineto
--192 0 rlineto
+-206 0 rlineto
 closepath
 stroke
 1.0 1.0 0.78431374 setrgbcolor
@@ -754,67 +754,67 @@ stroke
 [5.0 5.0 ] 0 setdash
 newpath
 504 -336 moveto
-392 -336 lineto
+406 -336 lineto
 stroke
 1.0 1.0 1.0 setrgbcolor
 [] 0 setdash
 newpath
-392 -336 moveto
-404 -329 lineto
-404 -343 lineto
+406 -336 moveto
+418 -329 lineto
+418 -343 lineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
-392 -336 moveto
-404 -329 lineto
-404 -343 lineto
+406 -336 moveto
+418 -329 lineto
+418 -343 lineto
 closepath
 stroke
-415 -324 moveto
+422 -324 moveto
 (<<realize>>) show
 1.0 1.0 1.0 setrgbcolor
 newpath
 152 -416 moveto
-148 0 rlineto
+160 0 rlineto
 0 -21 rlineto
--148 0 rlineto
+-160 0 rlineto
 closepath
 eofill
 newpath
 152 -416 moveto
-148 0 rlineto
+160 0 rlineto
 0 -1 rlineto
--148 0 rlineto
+-160 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 152 -416 moveto
-149 0 rlineto
+161 0 rlineto
 0 -2 rlineto
--149 0 rlineto
+-161 0 rlineto
 closepath
 stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 152 -418 moveto
-148 0 rlineto
+160 0 rlineto
 0 -19 rlineto
--148 0 rlineto
+-160 0 rlineto
 closepath
 eofill
 isolatin1encoding /_Helvetica-Oblique /Helvetica-Oblique RE
 /_Helvetica-Oblique findfont
 10 scalefont setfont
 0.0 0.0 0.0 setrgbcolor
-156 -431 moveto
-(protocols.VSAbstractProtocol) show
+157 -431 moveto
+(protocols :: VSAbstractProtocol) show
 newpath
 152 -416 moveto
-149 0 rlineto
+161 0 rlineto
 0 -22 rlineto
--149 0 rlineto
+-161 0 rlineto
 closepath
 stroke
 newpath
@@ -842,42 +842,42 @@ isolatin1encoding /_Helvetica /Helvetica RE
 1.0 1.0 1.0 setrgbcolor
 newpath
 248 -72 moveto
-129 0 rlineto
+138 0 rlineto
 0 -21 rlineto
--129 0 rlineto
+-138 0 rlineto
 closepath
 eofill
 newpath
 248 -72 moveto
-129 0 rlineto
+138 0 rlineto
 0 -1 rlineto
--129 0 rlineto
+-138 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 248 -72 moveto
-130 0 rlineto
+139 0 rlineto
 0 -2 rlineto
--130 0 rlineto
+-139 0 rlineto
 closepath
 stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 248 -74 moveto
-129 0 rlineto
+138 0 rlineto
 0 -19 rlineto
--129 0 rlineto
+-138 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 252 -87 moveto
-(prefs.VSSerializablePrefs) show
+(prefs :: VSSerializablePrefs) show
 newpath
 248 -72 moveto
-130 0 rlineto
+139 0 rlineto
 0 -22 rlineto
--130 0 rlineto
+-139 0 rlineto
 closepath
 stroke
 newpath
diff --git a/LaTeX/images/exceptions.eps b/LaTeX/images/exceptions.eps
index a2bd188..b720542 100644
--- a/LaTeX/images/exceptions.eps
+++ b/LaTeX/images/exceptions.eps
@@ -73,32 +73,32 @@ isolatin1encoding /_Helvetica /Helvetica RE
 1.0 1.0 1.0 setrgbcolor
 newpath
 256 -96 moveto
-101 0 rlineto
+110 0 rlineto
 0 -21 rlineto
--101 0 rlineto
+-110 0 rlineto
 closepath
 eofill
 newpath
 256 -96 moveto
-101 0 rlineto
+110 0 rlineto
 0 -1 rlineto
--101 0 rlineto
+-110 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 256 -96 moveto
-102 0 rlineto
+111 0 rlineto
 0 -2 rlineto
--102 0 rlineto
+-111 0 rlineto
 closepath
 stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 256 -98 moveto
-101 0 rlineto
+110 0 rlineto
 0 -19 rlineto
--101 0 rlineto
+-110 0 rlineto
 closepath
 eofill
 isolatin1encoding /_Helvetica /Helvetica RE
@@ -106,12 +106,12 @@ isolatin1encoding /_Helvetica /Helvetica RE
 10 scalefont setfont
 0.0 0.0 0.0 setrgbcolor
 260 -111 moveto
-(java.lang.Exception) show
+(java.lang :: Exception) show
 newpath
 256 -96 moveto
-102 0 rlineto
+111 0 rlineto
 0 -22 rlineto
--102 0 rlineto
+-111 0 rlineto
 closepath
 stroke
 1.0 1.0 1.0 setrgbcolor
diff --git a/LaTeX/images/prefs-editors.eps b/LaTeX/images/prefs-editors.eps
index 21bf9a6..70ac718 100644
--- a/LaTeX/images/prefs-editors.eps
+++ b/LaTeX/images/prefs-editors.eps
@@ -502,42 +502,42 @@ stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 192 -40 moveto
-71 0 rlineto
+81 0 rlineto
 0 -21 rlineto
--71 0 rlineto
+-81 0 rlineto
 closepath
 eofill
 newpath
 192 -40 moveto
-71 0 rlineto
+81 0 rlineto
 0 -1 rlineto
--71 0 rlineto
+-81 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 192 -40 moveto
-72 0 rlineto
+82 0 rlineto
 0 -2 rlineto
--72 0 rlineto
+-82 0 rlineto
 closepath
 stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 192 -42 moveto
-71 0 rlineto
+81 0 rlineto
 0 -19 rlineto
--71 0 rlineto
+-81 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
-195 -55 moveto
-(prefs.VSPrefs) show
+196 -55 moveto
+(prefs :: VSPrefs) show
 newpath
 192 -40 moveto
-72 0 rlineto
+82 0 rlineto
 0 -22 rlineto
--72 0 rlineto
+-82 0 rlineto
 closepath
 stroke
 [5.0 5.0 ] 0 setdash
diff --git a/LaTeX/images/prefs.eps b/LaTeX/images/prefs.eps
index da29e0e..07f2cb8 100644
--- a/LaTeX/images/prefs.eps
+++ b/LaTeX/images/prefs.eps
@@ -330,44 +330,44 @@ stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 208 -264 moveto
-121 0 rlineto
+130 0 rlineto
 0 -40 rlineto
--121 0 rlineto
+-130 0 rlineto
 closepath
 eofill
 newpath
 208 -264 moveto
-121 0 rlineto
+130 0 rlineto
 0 -14 rlineto
--121 0 rlineto
+-130 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 208 -264 moveto
-122 0 rlineto
+131 0 rlineto
 0 -15 rlineto
--122 0 rlineto
+-131 0 rlineto
 closepath
 stroke
-231 -278 moveto
+235 -278 moveto
 (<<interface>>) show
 1.0 1.0 1.0 setrgbcolor
 newpath
 208 -279 moveto
-121 0 rlineto
+130 0 rlineto
 0 -19 rlineto
--121 0 rlineto
+-130 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 212 -292 moveto
-(serialize.VSSerializable) show
+(serialize :: VSSerializable) show
 newpath
 208 -264 moveto
-122 0 rlineto
+131 0 rlineto
 0 -41 rlineto
--122 0 rlineto
+-131 0 rlineto
 closepath
 stroke
 [5.0 5.0 ] 0 setdash
diff --git a/LaTeX/images/protocols.eps b/LaTeX/images/protocols.eps
index 3c55cef..a7c8004 100644
--- a/LaTeX/images/protocols.eps
+++ b/LaTeX/images/protocols.eps
@@ -157,42 +157,42 @@ stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 160 -96 moveto
-121 0 rlineto
+130 0 rlineto
 0 -21 rlineto
--121 0 rlineto
+-130 0 rlineto
 closepath
 eofill
 newpath
 160 -96 moveto
-121 0 rlineto
+130 0 rlineto
 0 -1 rlineto
--121 0 rlineto
+-130 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 160 -96 moveto
-122 0 rlineto
+131 0 rlineto
 0 -2 rlineto
--122 0 rlineto
+-131 0 rlineto
 closepath
 stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 160 -98 moveto
-121 0 rlineto
+130 0 rlineto
 0 -19 rlineto
--121 0 rlineto
+-130 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 164 -111 moveto
-(events.VSAbstractEvent) show
+(events :: VSAbstractEvent) show
 newpath
 160 -96 moveto
-122 0 rlineto
+131 0 rlineto
 0 -22 rlineto
--122 0 rlineto
+-131 0 rlineto
 closepath
 stroke
 newpath
diff --git a/LaTeX/images/serialize.eps b/LaTeX/images/serialize.eps
index a69d9e6..0686b04 100644
--- a/LaTeX/images/serialize.eps
+++ b/LaTeX/images/serialize.eps
@@ -1,5 +1,5 @@
 %!PS-Adobe-3.0 EPSF-3.0
-%%BoundingBox: 52 -4 559 314
+%%BoundingBox: 52 -4 560 314
 %%BeginProcSet: reencode 1.0 0 
 /RE 
 {  findfont begin 
@@ -157,61 +157,61 @@ stroke
 0.78431374 1.0 1.0 setrgbcolor
 newpath
 88 -120 moveto
-317 0 rlineto
+325 0 rlineto
 0 -73 rlineto
--317 0 rlineto
+-325 0 rlineto
 closepath
 eofill
 newpath
 88 -120 moveto
-317 0 rlineto
+325 0 rlineto
 0 -14 rlineto
--317 0 rlineto
+-325 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 88 -120 moveto
-318 0 rlineto
+326 0 rlineto
 0 -15 rlineto
--318 0 rlineto
+-326 0 rlineto
 closepath
 stroke
-209 -134 moveto
+213 -134 moveto
 (<<interface>>) show
 0.78431374 1.0 1.0 setrgbcolor
 newpath
 88 -135 moveto
-317 0 rlineto
+325 0 rlineto
 0 -19 rlineto
--317 0 rlineto
+-325 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
-212 -148 moveto
+216 -148 moveto
 (VSSerializable) show
 0.78431374 1.0 1.0 setrgbcolor
 newpath
 89 -156 moveto
-316 0 rlineto
+324 0 rlineto
 0 -36 rlineto
--316 0 rlineto
+-324 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 89 -156 moveto
-406 -156 lineto
+414 -156 lineto
 stroke
 92 -170 moveto
-(serialize\(serialize : VSSerialize,oos : ObjectOutputStream\) : void) show
+(+ serialize\(serialize : VSSerialize,oos : ObjectOutputStream\) : void) show
 92 -183 moveto
-(deserialize\(serialize : VSSerialize,ois : ObectInputStream\) : void) show
+(+ deserialize\(serialize : VSSerialize,ois : ObectInputStream\) : void) show
 newpath
 88 -120 moveto
-318 0 rlineto
+326 0 rlineto
 0 -74 rlineto
--318 0 rlineto
+-326 0 rlineto
 closepath
 stroke
 [5.0 5.0 ] 0 setdash
@@ -231,42 +231,42 @@ stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 80 -232 moveto
-129 0 rlineto
+138 0 rlineto
 0 -21 rlineto
--129 0 rlineto
+-138 0 rlineto
 closepath
 eofill
 newpath
 80 -232 moveto
-129 0 rlineto
+138 0 rlineto
 0 -1 rlineto
--129 0 rlineto
+-138 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 80 -232 moveto
-130 0 rlineto
+139 0 rlineto
 0 -2 rlineto
--130 0 rlineto
+-139 0 rlineto
 closepath
 stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 80 -234 moveto
-129 0 rlineto
+138 0 rlineto
 0 -19 rlineto
--129 0 rlineto
+-138 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 84 -247 moveto
-(prefs.VSSerializablePrefs) show
+(prefs :: VSSerializablePrefs) show
 newpath
 80 -232 moveto
-130 0 rlineto
+139 0 rlineto
 0 -22 rlineto
--130 0 rlineto
+-139 0 rlineto
 closepath
 stroke
 [5.0 5.0 ] 0 setdash
@@ -293,115 +293,115 @@ stroke
 (<<realize>>) show
 1.0 1.0 1.0 setrgbcolor
 newpath
-424 -256 moveto
-114 0 rlineto
+432 -256 moveto
+123 0 rlineto
 0 -21 rlineto
--114 0 rlineto
+-123 0 rlineto
 closepath
 eofill
 newpath
-424 -256 moveto
-114 0 rlineto
+432 -256 moveto
+123 0 rlineto
 0 -1 rlineto
--114 0 rlineto
+-123 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
-424 -256 moveto
-115 0 rlineto
+432 -256 moveto
+124 0 rlineto
 0 -2 rlineto
--115 0 rlineto
+-124 0 rlineto
 closepath
 stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
-424 -258 moveto
-114 0 rlineto
+432 -258 moveto
+123 0 rlineto
 0 -19 rlineto
--114 0 rlineto
+-123 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
-428 -271 moveto
-(simulator.VSSimulator) show
+436 -271 moveto
+(simulator :: VSSimulator) show
 newpath
-424 -256 moveto
-115 0 rlineto
+432 -256 moveto
+124 0 rlineto
 0 -22 rlineto
--115 0 rlineto
+-124 0 rlineto
 closepath
 stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 360 -288 moveto
-178 0 rlineto
+187 0 rlineto
 0 -21 rlineto
--178 0 rlineto
+-187 0 rlineto
 closepath
 eofill
 newpath
 360 -288 moveto
-178 0 rlineto
+187 0 rlineto
 0 -1 rlineto
--178 0 rlineto
+-187 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 360 -288 moveto
-179 0 rlineto
+188 0 rlineto
 0 -2 rlineto
--179 0 rlineto
+-188 0 rlineto
 closepath
 stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 360 -290 moveto
-178 0 rlineto
+187 0 rlineto
 0 -19 rlineto
--178 0 rlineto
+-187 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 364 -303 moveto
-(simulator.VSSimulatorVisualization) show
+(simulator :: VSSimulatorVisualization) show
 newpath
 360 -288 moveto
-179 0 rlineto
+188 0 rlineto
 0 -22 rlineto
--179 0 rlineto
+-188 0 rlineto
 closepath
 stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 200 -288 moveto
-126 0 rlineto
+135 0 rlineto
 0 -21 rlineto
--126 0 rlineto
+-135 0 rlineto
 closepath
 eofill
 newpath
 200 -288 moveto
-126 0 rlineto
+135 0 rlineto
 0 -1 rlineto
--126 0 rlineto
+-135 0 rlineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
 200 -288 moveto
-127 0 rlineto
+136 0 rlineto
 0 -2 rlineto
--127 0 rlineto
+-136 0 rlineto
 closepath
 stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
 200 -290 moveto
-126 0 rlineto
+135 0 rlineto
 0 -19 rlineto
--126 0 rlineto
+-135 0 rlineto
 closepath
 eofill
 isolatin1encoding /_Helvetica-Oblique /Helvetica-Oblique RE
@@ -409,31 +409,32 @@ isolatin1encoding /_Helvetica-Oblique /Helvetica-Oblique RE
 10 scalefont setfont
 0.0 0.0 0.0 setrgbcolor
 204 -303 moveto
-(core.VSAsbstractProcess) show
+(core :: VSAsbstractProcess) show
 newpath
 200 -288 moveto
-127 0 rlineto
+136 0 rlineto
 0 -22 rlineto
--127 0 rlineto
+-136 0 rlineto
 closepath
 stroke
 newpath
 224 -288 moveto
 224 -280 lineto
-210 -254 lineto
+208 -264 lineto
+208 -254 lineto
 stroke
 1.0 1.0 1.0 setrgbcolor
 newpath
-210 -254 moveto
-221 -261 lineto
-209 -267 lineto
+208 -254 moveto
+215 -266 lineto
+201 -266 lineto
 closepath
 eofill
 0.0 0.0 0.0 setrgbcolor
 newpath
-210 -254 moveto
-221 -261 lineto
-209 -267 lineto
+208 -254 moveto
+215 -266 lineto
+201 -266 lineto
 closepath
 stroke
 isolatin1encoding /_Helvetica /Helvetica RE
@@ -442,32 +443,32 @@ isolatin1encoding /_Helvetica /Helvetica RE
 1.0 1.0 1.0 setrgbcolor
 newpath
 64 -288 moveto
-121 0 rlineto
+130 0 rlineto
 0 -21 rlineto
--121 0 rlineto
+-130 0 rlineto
 closepath
 eofill
 newpath
 64 -288 moveto
-121 0 rlineto
+130 0 rlineto
 0 -1 rlineto
--121 0 rlineto
+-130 0 rlineto
 closepath
 eofill
 0.0 0.0