bugfix for toString in CharactorVector.
Merge branch 'master' of https://github.com/Naoki-Yatsu/studio

Conflicts:
	src/studio/kdb/K.java