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!