if (parameter_types == null) getType ();
  public String toString ()    {      StringBuffer b = new StringBuffer ();      b.append(Modifier.toString(getModifiers()));      b.append(" ");      b.append(return_type.toString());      b.append(" ");      b.append(declaringClass.toString());      b.append(".");      b.append(name);      b.append("(");      for (int i = 0; i < parameter_types.length; ++i)	{	  b.append(parameter_types[i].toString());	  if (i < parameter_types.length - 1)	    b.append(",");	}      b.append(")");      if (exception_types.length > 0)	{	  b.append(" throws ");	  for (int i = 0; i < exception_types.length; ++i)	    {	      b.append(exception_types[i].toString());	      if (i < exception_types.length - 1)		b.append(",");	    }	}      return b.toString();    }