tavendo/AutobahnAndroid — pull request #33 by johlo (2013-03-23 17:27:59+00:00)
Title: Fix bit-shifting problem

Shifting an int value 32 or more bits will not give the expected result.
Need to cast to long before shifting.

I ran FindBugs on the Autobahn code, this was the most serious issue ("Scariest"), otherwise looked good!