Worked on enhancing the robustness of file parsing within the KeYProject/key repository, focusing on Java-based error handling and code formatting. Addressed a parsing bug by ensuring that ParseCancellationException is properly caught and re-thrown in KeYFile.java, allowing parsing errors to propagate transparently and improving overall debuggability. Applied Spotless formatting to maintain consistent code style throughout the parsing logic, which reduces the risk of silent failures and supports long-term maintainability. The work emphasized exception management and code quality, aligning with best practices for error handling in Java. No new features were added, but parsing reliability and code clarity were improved.