Change version of antlr3-maven-plugin to 1.1-SNAPSHOT. This should
fix the 'sourceDirectory' bug (ignored option).
Remove method EntryEditor.getExtra(). I do not appreciate this 'extra'
stuff.

Check for invalid int values when getting default preferences values.
Remove support for obsolete fields (pdf, ps).