#534 synchronize eclipse and ceylon encoding configuration