Bug 1028612 - Options for jsfilter sandbox unused. r=gfritzsche