fix encoding problem in Eclipse Juno