fixed a bug, where error markers in eclipse could vanish