String function ( String arg0 , String arg1 ) { if ( arg0 . regionMatches ( false , arg0 . length ( ) - arg1 . length ( ) , arg1 , 0 , arg1 . length ( ) ) ) return arg0 ; else return arg0 + arg1 ; }
returns a filename guaranteed to end with the given ending . concode_field_sep int DIALOG_WIDTH concode_elem_sep int TRACE_FRAME_HEIGHT concode_elem_sep int TRACE_FRAME_WIDTH concode_field_sep void inform concode_elem_sep Thread doLater concode_elem_sep void informOfError concode_elem_sep void doEnsuredRepaint