| Index: client/dom/generated/src/interface/EventException.dart | 
| diff --git a/client/dom/generated/src/interface/EventException.dart b/client/dom/generated/src/interface/EventException.dart | 
| index 287741e6584f172b4fd7b67325f10235470f3bf5..c0113d1d1877b78b06768c39adbc619096cab08a 100644 | 
| --- a/client/dom/generated/src/interface/EventException.dart | 
| +++ b/client/dom/generated/src/interface/EventException.dart | 
| @@ -10,11 +10,11 @@ interface EventException { | 
|  | 
| static final int UNSPECIFIED_EVENT_TYPE_ERR = 0; | 
|  | 
| -  int get code(); | 
| +  final int code; | 
|  | 
| -  String get message(); | 
| +  final String message; | 
|  | 
| -  String get name(); | 
| +  final String name; | 
|  | 
| String toString(); | 
| } | 
|  |