140918: adapting some functions to new java8 String.join