diff options
Diffstat (limited to 'examples/ant/servlets.xml')
| -rw-r--r-- | examples/ant/servlets.xml | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/examples/ant/servlets.xml b/examples/ant/servlets.xml index 83af0f2..51bcaad 100644 --- a/examples/ant/servlets.xml +++ b/examples/ant/servlets.xml @@ -7,7 +7,9 @@ <taskdef resource="proguard/ant/task.properties" classpath="lib/proguard.jar" /> - <proguard printseeds="on"> + <proguard printseeds="on" + printmapping="proguard.map" + renamesourcefileattribute="SourceFile"> <!-- Specify the input jars, output jars, and library jars. --> @@ -16,14 +18,19 @@ <libraryjar file="${java.home}/lib/rt.jar" /> - <!-- Keep all public servlets. --> - - <keep access="public" implements="javax.servlet.Servlet" /> + <!-- Optionally preserve line numbers in the obfuscated stack traces. + <keepattribute name="LineNumberTable"> + <keepattribute name="SourceFile"> + --> <!-- Preserve all annotations. --> <keepattribute name="*Annotation*" /> + <!-- Keep all public servlets. --> + + <keep access="public" implements="javax.servlet.Servlet" /> + <!-- Preserve all native method names and the names of their classes. --> <keepclasseswithmembernames> |