Full of Low-level User Operations Recorded In The Editor: A low-level event capturing plug-in for Eclipse