no message
Updated description of atomic statement semantics
Merge remote-tracking branch 'origin/docs-nick' into docs
Updates from Nick and Peter J about map enumeration patterns and quicksort
removed Assert in parser result that requires a none empty result
Merge branch 'origin/astv2-pvj'
Minor fix of QuickSort from Nick
added icon to examples import
changed packing of the help plugin such that other projects also can inlcude the overture examples import

this is the osgi bundle stuff that is told to unpack it
cleanup debug

* fixed the preference page such that it initializes properly
* fixed the double use of preferences (port), now this is only handled by the debug service
* fixed correct default value of port/time out from preserences
fixed problem with missing coverage from CT runner in eclipse

the problem was that the ctruntime process were killed before it wrote the covtbl files. Now it waits and signals the IDE when done.

A time out has also been added to the IDE ctruntime socket listner such that the job stops if no connection is made (it uses the debug time out from the debug preference page)
clean up- dublicate inclusion in product

order is:
rcp
-core
-all plugins
renamed pog to pog-string-based

this is to make room for the new ast based pog generation that later will be used to interface with isabelle. However, the new version is not yet fully tested so it will be added as pog and co-exist with the old string based version until sufficiend mature
updated overture debug and traces to use a common util class for cp collection

fixes a bug with space in the path for ct
corrected icon size to 16x16
no message
no message
re-enabled hook for destecs in debug protocol
Core compiling with both pogs.
IDE compiling with 2 pogs.