Thanks, That was really useful! I added your recommendation into the https://wiki.eclipse.org/JSDT/Development#Bugzilla_for_JSDT_Bugs
Patrik _______________________________________________ wtp-dev mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/wtp-dev
