Correctly encode unicode characters in Preference strings, as specified by
Java's Properties class.
Don't throw an exception trying to do simple line wrapping for an alert box if
there is a stretch of 80 characters with no spaces in it.


git-svn-id: svn://svn.code.sf.net/p/kolmafia/code@14144 b29ace70-8910-0410-8dcc-aa2fc6433167
"step4", not "step 4"

git-svn-id: svn://svn.code.sf.net/p/kolmafia/code@14145 b29ace70-8910-0410-8dcc-aa2fc6433167