is this file needed ? if it is needed shouldn't it explain it comes from JBoss Tools ?