tools.properties は、SystemGeneration.jar 内に含まれているので、ユーザーによるこれらのプロパティのオーバーライドは、codebase\user.properties に配置されます。