bugfix for Emucharts editor (transitions were not drawn when dragging the arrow from right to left due to missing Math.abs() in event handler)
PVS Printer generated PVS file in PVS editor + various bugfixes for prototypebuilder (mistyped event types, selectedData was not cleared after removing selected item from treelistview)