Issue #28: fixing findbug, avoiding reliance on default encoding