Update info file for jdt_core module