Given string types an appropriate name [TG-3908]#2479

Merged

thk123 merged 3 commits intodiffblue:developfrom

thk123:bugfix/TG-3908/give-string-objects-names

Jul 2, 2018

Commits on Jun 29, 2018

Given string types an appropriate name
thk123
committed

Commits on Jul 2, 2018

Introduce method for getting the name of of java_class_type
thk123
committed
Use new method to set the name
thk123
committed