Now using the correct spinner item layout
Updated wasync to version 1.1.1
Decoding of push messages does now work much much better, since the
decoder now differentiates by root node name
Fixed possible NumberFormatException
Fixed SelectionWidget issues and updated dependencies
Incremented version