if ( isDifferent(type, t) ) { type = t; reload(ReloadManager.RELOAD_CODE); }
if ( isDifferent(type, t) ) { type = t; reload(ReloadManager.RELOAD_CODE);
    public void setType(String t) {        if ( isDifferent(type, t) ) {            type = t;            reload(ReloadManager.RELOAD_CODE);        }    }