Hardcode encoding so Eclipse won't be confused