I've e across this several times, ctrl-c randomly does not copy. I think it's caused by javas