[merge] swgemu unstable branch 01OCT14
[merge] loose ends from previous merge
[merge] swgemu unstable 04OCT14
Merge branch '01OCT14' into Development