Preferences using DOM Elements instead GWT Widgets