-ignorewarnings
# warnings about servlet stuff

# Start ant in the superx home directory!
#
# This ProGuard configuration file illustrates how to process a program
# library, such that it remains usable as a library.
# Usage:
#     java -jar proguard.jar @library.pro
#

# Specify the library jars, input jars, and output jar.
# In this case, the input jar is the program library that we want to process.

-libraryjars  <java.home>/lib/rt.jar
#-injars       ./src/superxUnobfuscated.jar
#-outjar       ./src/superx.jar
-injars       ./superxUnobfuscated.jar
-outjar       ./superx.jar

# Save the obfuscation mapping to a file, so we can de-obfuscate any stack
# traces later on. Keep a fixed source file attribute and all line number
# tables to actually get these stack traces.
# You can comment this out if you're not interested in stack traces.

-printmapping superxObfuscated.map
-renamesourcefileattribute SourceFile
-keepattributes InnerClasses,SourceFile,LineNumberTable,Deprecated


# Preserve  classes, and their public and protected fields and
# methods.

-dontobfuscate

-keep  class de.superx.applet.* 
{
 *;
}
-keep  class de.memtext.* 
{
 *;
}
-keep  class freemarker.* 
{
 *;
}
-keep  class de.superx.common.* 
{
 *;
}

-keep  public class   de.superx.common.SuperX_el 
{
 *;
}

-keep  class   javax.help.TOCView 
{
 *;
}

-keep  class   javax.help.IndexView 
{
 *;
}
-keep  class   javax.help.SearchView 
{
 *;
}
-keep  class   de.memtext.rights.NewPasswordChecker
{
 *;
}



# Preserve all .class method names.

-keepclassmembernames class * {
    java.lang.Class class$(java.lang.String);
    java.lang.Class class$(java.lang.String, boolean);
}


# Preserve all native method names and the names of their classes.

-keepclasseswithmembernames class * {
    native <methods>;
}


# Explicitly preserve all serialization members. The Serializable interface
# is only a marker interface, so it wouldn't save them.
# You can comment this out if your library doesn't use serialization.
# If your code contains serializable classes that have to be backward
# compatible, please refer to the manual.

-keepclassmembers class * implements java.io.Serializable {
    static final long serialVersionUID;
    private void writeObject(java.io.ObjectOutputStream);
    private void readObject(java.io.ObjectInputStream);
    java.lang.Object writeReplace();
    java.lang.Object readResolve();
}


# Your library may contain more items that need to be preserved; 
# typically classes that are dynamically created using Class.forName:

# -keep public class mypackage.MyClass
# -keep public interface mypackage.MyInterface
# -keep public class * implements mypackage.MyInterface