consider source encoding when parsing java files