encoding of the java sources set explicitly to UTF-8