minor bugfixing in convertJArrayListToStdVector