Fix Bug#1400 PyDev causing JSP problem annotation disappear