encoding defined for broken JUnit test