set_default_int


Description:

public void set_default_int (int value)