Source position: jstree.pp line 1080
public property TJSSwitchStatement.TheDefault : TJSCaseElement read FDefault write FDefault;