So I can remove them from gwtp-core as well?