@Karl Schindler: What you see is probably a bug in Eclipse, see https://bugs.eclipse.org/bugs/show_bug.cgi?id=479646 Something that eclipse has to work on.
@Karl Schindler: /bugs.eclipse. org/bugs/ show_bug. cgi?id= 479646
What you see is probably a bug in Eclipse, see https:/
Something that eclipse has to work on.