Is there some recipe to quickly regenerate the java source files in javasupport? It's quite tragic that this stuff breaks each time a library class is changed :-( Bernd.