Fix Eclipse launching attribute