Character encoding in Strategy.java