| Index: client/dom/generated/src/frog/WorkerContext.dart | 
| diff --git a/client/dom/generated/src/frog/WorkerContext.dart b/client/dom/generated/src/frog/WorkerContext.dart | 
| index ae49c997dd701e91f3686e17e3cd1718fc31bd43..7fee16881dc02298fdde8d2fb1fd134bee2fe031 100644 | 
| --- a/client/dom/generated/src/frog/WorkerContext.dart | 
| +++ b/client/dom/generated/src/frog/WorkerContext.dart | 
| @@ -5,20 +5,18 @@ class _WorkerContextJs extends _DOMTypeJs implements WorkerContext native "*Work | 
|  | 
| static final int TEMPORARY = 0; | 
|  | 
| -  _WorkerLocationJs location; | 
| +  final _WorkerLocationJs location; | 
|  | 
| -  _WorkerNavigatorJs navigator; | 
| +  final _WorkerNavigatorJs navigator; | 
|  | 
| EventListener onerror; | 
|  | 
| -  _WorkerContextJs self; | 
| +  final _WorkerContextJs self; | 
|  | 
| final _IDBFactoryJs webkitIndexedDB; | 
|  | 
| final _NotificationCenterJs webkitNotifications; | 
|  | 
| -  final _DOMURLJs webkitURL; | 
| - | 
| void addEventListener(String type, EventListener listener, [bool useCapture = null]) native; | 
|  | 
| void clearInterval(int handle) native; | 
|  |