Add a helper function for accessing the element type of a Java array type#1543

Merged

thk123 merged 1 commit intodiffblue:developfrom

chrisr-diffblue:cleanup/add-java-array-element-type-helper

Nov 1, 2017

Commits on Oct 31, 2017

Add a helper function for accessing the element type of a Java array type
chrisr-diffblue
committed