public int hashCode() {
         int result = 17;
         
         result = 37 * result + ( getIdpropuesta() == null ? 0 : this.getIdpropuesta().hashCode() );
         result = 37 * result + ( getCodigomateria() == null ? 0 : this.getCodigomateria().hashCode() );
         return result;
   }