theJavaFields = this.getJavaFields(); if (this.javaFields!= null) { currentHashCode += theJavaFields.hashCode();
leftJavaFields = this.getJavaFields(); JavaFields rightJavaFields; rightJavaFields = that.getJavaFields(); if (this.javaFields!= null) { if (that.javaFields!= null) {