Fix #307: Default parameter export for JSExport