java.lang.Object constructor generated properly