android might have a 4096 token size

According to a Google Programs Engineer (Android team), the token-size can be up to 4k:

https://groups.google.com/forum/#!topic/android-c2dm/AUGlvmJPyMM

Done for [AGPUSH-541](https://issues.jboss.org/browse/AGPUSH-541)