wyclipse.jdt: working on getting ConfigureWhileyBuildPath to recognise when there is a WhileyNature already.