Bug-fix: Only one JDT core lib.