CODE: Fix encoding issue caused by Eclipse.