added sharpdevelop old spec
updated to version 4.3.1