Sven Köhler - 2013-07-09

Texlipse 1.5.0 with Eclipse 4.3 here. Bug still exists and is pretty annoying too. Please fix this.