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