eclipse.preferences.version=1
encoding/TheJalviewTutorial.tex=UTF-8