Updated Eclipse files; target API 17.