K 10 svn:author V 3 gjb K 8 svn:date V 27 2013-01-04T00:42:03.343449Z K 7 svn:log V 194 Revert previous commit. The more correct solution to this port is to convert to the new options framework. Submitted by: doceng (hrs) Approved by: doceng (implicit), eadler (mentor, implicit) END