Jar-MANIA: More Ways to Reuse Jars