From 1857b2f20dcd60aeb78d386b9b84f53fb00d40d4 Mon Sep 17 00:00:00 2001
From: Martin Paljak <martin@martinpaljak.net>
Date: Thu, 31 Aug 2023 14:52:35 +0300
Subject: [PATCH] Make sure all debug info is included

---
 task/src/main/java/pro/javacard/ant/JavaCard.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/task/src/main/java/pro/javacard/ant/JavaCard.java b/task/src/main/java/pro/javacard/ant/JavaCard.java
index aed1344..c3ce847 100644
--- a/task/src/main/java/pro/javacard/ant/JavaCard.java
+++ b/task/src/main/java/pro/javacard/ant/JavaCard.java
@@ -557,6 +557,7 @@ private void compile() {
             j.setDestdir(tmp.toFile());
             // See "Setting Java Compiler Options" in User Guide
             j.setDebug(true);
+            j.setDebugLevel("lines,vars,source");
 
             // set the best option supported by jckit
             String javaVersion = JavaCardSDK.getJavaVersion(jckit.getVersion());