That happens occasionally: https://bugs.eclipse.org/bugs/show_bug.cgi?id=305675
PW -- Paul Webster Hi floor. Make me a sammich! - GIR _______________________________________________ dash-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/dash-dev
