Interface to Java decompilers.