#!python

import ws_splashbuilder

if __name__ == '__main__':
    ws_splashbuilder.map2wsm.main()