fix KRunFrontEnd javadoc
revert change to ColorUtil