Rename theme.txt to eclipse_theme.txt