public java.lang.String toString ( ) { <BUG> return ( ( VAR_1 ) + STRING_1 ) + ( message ) ;</BUG> }
public java.lang.String toString ( ) { return ( ( this . VAR_1 ) + STRING_1 ) + ( this . message ) ; } 
