findbugs: use explicit encoding