small additional patch for Constructor.java

[Godmar Back]

> 
> BTW, Class.getPrettyName() is not mentioned in the jdk docs. Perhaps it
> could be put into Kaffe.lang.Class as a static method i.e.
> static java.lang.String getPrettyName(java.lang.Class)
> 

That's a good idea!  Why didn't I think of that?

	- Godmar