#Tue Jan 31 14:50:16 CET 2012 eclipse.preferences.version=1 encoding/=UTF-8 encoding/src=UTF-8