Java Development Tools

Hi,

I have a question to switch multiple JDK versions in JDeveloper 11g.

I'm using JDeveloper 11g Release 1 (11.1.1.2.0 ) Build JDEVADF_11.1.1.2.0_GENERIC_091029.2229.5536 and have been using JDK version (1.6.0_14) came with this JDeveloper.
Yesterday, I installed JDK7u5 to check the behavior between JDK6 and JDK7. I changed Java SE version in JDeveloper by Tools > Project Properties > Libraries and Classpath > Changed JDK exe location to 1.6.0_14 to 1.7.0_05.

When I compiled a simple program (HelloWorldApp.java) in JDeveloper using JDK7, I got the following error:
Error: Exception thrown during compilation: com/sun/tools/javac/api/JavacTool : Unsupported major.minor version 51.0

I can compile/run the same program using JDK7 from a command line as well as using JDK6 from JDeveloper 11g on the same machine. I also checked with my co-worker and he had a same problem with JDeveloper 11g (11.1.1.3.0) but he couldn't have any problem with JDeveloper 10g by pointing a different JDK (1.4 => 1.5 => 1.7.0_01) .

Did I miss some other setting to usg a different JDK version in JDeveloper 11g or is this bug?

Thanks,
Noriko