Change Parameter Type	height : int to height : double in method private addPaddingWidget(cm CodeMirror, style String, line int, height double, unit Unit, index Integer) : LineWidgetElementPair in class com.google.gerrit.client.diff.CodeMirrorDemo