update on .install fileof the jdt_core module