Helper functions to make java logging funny on Android