PLT Utilities update: added Option.unwrap with a default value in the none case
Authored by: dlsmith 2007-08-15
Parent: [r4250]
Child: [r4252]
