#534 synchronize eclipse and ceylon encoding configuration (minor
improvements)