File function ( ) { return file ; }
splash screen in bmp format . concode_field_sep String TIMEOUT_ERR concode_elem_sep String WAIT_FOR_TITLE concode_elem_sep String TIMEOUT concode_elem_sep File file concode_elem_sep boolean timeoutErr concode_elem_sep String SPLASH_FILE concode_elem_sep int timeout concode_elem_sep boolean waitForWindow concode_field_sep void setWaitForWindow concode_elem_sep void setTimeout concode_elem_sep void setFile concode_elem_sep void setTimeoutErr concode_elem_sep boolean getWaitForWindow concode_elem_sep void checkInvariants concode_elem_sep int getTimeout concode_elem_sep boolean isTimeoutErr