[build scripts] dropping obsolete build properties

GitOrigin-RevId: e935b8777ef2e2aa1e0738432f9f9302543c2ac3

build/src/org/jetbrains/intellij/build/IdeaCommunityProperties.kt

@@ -44,7 +44,6 @@ open class IdeaCommunityProperties(private val communityHomeDir: Path) : BaseIde
     platformPrefix = "Idea"
     applicationInfoModule = "intellij.idea.community.customization"
     additionalIDEPropertiesFilePaths = persistentListOf(communityHomeDir.resolve("build/conf/ideaCE.properties"))
-    toolsJarRequired = true
     scrambleMainJar = false
     useSplash = true
     buildCrossPlatformDistribution = true

platform/build-scripts/src/org/jetbrains/intellij/build/ProductProperties.kt

@@ -84,13 +84,6 @@ abstract class ProductProperties {
    */
   var inspectCommandName: String = "inspect"
 
-  /**
-   * `true` if tools.jar from JDK must be added to the IDE classpath.
-   */
-  var toolsJarRequired: Boolean = false
-
-  var isAntRequired: Boolean = false
-
   /**
    * Whether to use splash for application start-up.
    */
@@ -104,7 +97,6 @@ abstract class ProductProperties {
    */
   var classLoader: String? = "com.intellij.util.lang.PathClassLoader"
 
-
   /**
    * If `true`, the Class Data Sharing (CDS) feature will be enabled for the JVM and system.class.loader will be disabled.
    *