jre version and source encoding