pde-tool 1.2.4, swtend 2.2.2