minors

Author: ShuMengZhang00

README.md

@@ -6,18 +6,7 @@ NullPath is a static analysis tool for Java designed to detect NullPointerExcept
 
 As NullPath is built upon [Tai-e](https://github.com/pascal-lab/Tai-e), its prerequisites and fundamental build procedures are consistent with Tai-e. The primary difference in the build process is the addition of a specific Gradle task, `nullpath`, designed to generate a JAR file with `pascal.taie.analysis.bugfinder.pathsensnullpointer.NullPointerMain` as its main entry point.
 
-### Prerequisites
-
-*   **Java Development Kit (JDK):** NullPath requires Java 17 or higher, consistent with Tai-e. Please ensure your `JAVA_HOME` environment variable is set correctly.
-
-### Building NullPath
-
-1.  **Clone the Repository:**
-    ```bash
-    git clone <YOUR_NULLPATH_REPOSITORY_URL> # Replace with your actual NullPath repository URL
-    cd nullpath # Or your project's directory name
-    ```
-2.  **Build the Project:**
+**Build the Project:**
     NullPath uses Gradle for its build system. To generate the specific NullPath JAR with `NullPointerMain` as the entry point, run:
     ```bash
     ./gradlew nullpath