User Guide: 'Importing an mbed program' is out-of-date
Documentation > System Workbench for STM32 > User Guide > Importing an mbed program
http://www.openstm32.org/Importing+an+mbed+program?structure=Documentation
Does not mention the fact that the current (June 2017) version of SW4STM32 uses an incompatible toolchain for mbed:
http://www.openstm32.org/tiki-view_forum_thread.php?forumId=7&comments_parentId=5150