public JArrayType(JType elementType) { super( elementType.getSourceInfo().makeChild(SourceOrigin.UNKNOWN), elementType.getName() + "[]"); assert !(elementType instanceof JNonNullType); this.elementType = elementType; }