Debugging OpenLaszlo SWF runtime applications and the Laszlo Foundation Classes (LFC) with Flash Builder

I just learned how to profile OpenLaszlo applications using Flash Builder. The approach mentioned in that discussion means that an OpenLaszlo application is compiled into an SWF file with the debug option enabled for the Flex compiler. The generated SWF file can then be profiled using Flash Builder.

It would be much more powerful if we could use the full power of the Flash Builder debugger to debug an OpenLaszlo SWF11 runtime application. I'm specifically looking for a way to

1. be able to set breakpoints in the generated ActionScript 3 code of my application (the cross-compiled LZX code), and step through the code.
2. The ability to step through methods of the Laszlo Foundation Classes, especially the SWF runtime kernel.

Since the error messages delivered by the OpenLaszlo compiler are not always that helpful, for a developer with ActionScript 3 knowledge it would be much more effective to be able to step through the ActionScript code directly, inspecting objects and vars in Flash Builder.

To achieve these goals it would be necessary to

1. Have a way to generated the ActionScript 3 code out of the my application LZX code.
2. Have access to the generated ActionScript 3 code which is used to compile the LFC SWC library file $LPS_HOME/lps/includes/lfc/LFC11.swc. The ActionScript code must be generated as part of the OpenLaszlo Subversion build process. Unfortunately I don't understand the build process well enough to see where and how the source code for the LFC is generated.

Has anyone been able to debug and step through both the ActionScript3 code of the application, and the LFC classes?

I have created a project on Github containing an Ant build script and the required files to profile and debug an OpenLaszlo application with Flash Builder 4.6 on either Windows or Mac.

Here is a screenshot of an OpenLaszlo application running in the profiler:

The project files contain a PDF with a detailed tutorial showing how to debug and profile OpenLaszlo SWF11 runtime applications, including the SWF11 LFC classes. Here is the link to the document titled "Profiling OpenLaszlo Applications with Flash Builder".