fixing checkstyle warning (could not get ignore-checkstyle to work)