boolean (changeVariable_result that) { if (that == null) return false; if (this == that) return true; boolean this_present_unhandledException = true && this.isSetUnhandledException(); boolean that_present_unhandledException = true && that.isSetUnhandledException(); if (this_present_unhandledException || that_present_unhandledException) { if (!(this_present_unhandledException && that_present_unhandledException)) return false; if (!this.unhandledException.equals(that.unhandledException)) return false; } return true; }