Working on this problem further, I discovered the "config.log" file in my "icedtea-web-1.2" directory and it has a bit more detail about the problem:
configure:6966: checking for a JRE home directory
configure:6985: result: /usr/lib/jvm/java-7-openjdk-amd64/jre
configure:6994: checking for a Java virtual machine
configure:7137: result: /usr/lib/jvm/java-7-openjdk-amd64/jre/bin/java
configure:7149: checking if java.util.jar.Pack200 is available
sun/applet/Test.java:4: cannot access java.util.jar.Pack200
bad class file: /usr/lib/jvm/java-7-openjdk-amd64/jre/lib/rt.jar(java/util/jar/Pack200.class)
class file has wrong version 51.0, should be 49.0
Please remove or make sure it appears in the correct subdirectory of the classpath.
import java.util.jar.Pack200;
Googling the "wrong version" error message turned up nothing specific about Pack200, but suggested a Java Compiler version mismatch. I had Java 1.6 as my default (from java -version) so I used the "update-java-alternatives" command to change this to the OpenJDK 1.7 compiler. However, I still get the error when I try and execute the ./configure ... command.
I've now had a closer look at the configure file and I see that it should be using OpenJDK 1.7 (from the "with-jdk-home" command line variable) anyway.
In either case, I'm still stuck and would be very grateful for any thoughts or suggestions.
Cheers,
Rob Hills