wyclipse.jdt: minor tweaks for ConfigureWhileyBuildPath.