148190: reworked code to cope with new module ajde.core

diff --git a/build/build-properties.xml b/build/build-properties.xml
index 80e0978a51a1e20d2c5185cf7f9f37c4f8de616a..42dc3ae334703010ced5db0afaaafff448439f05 100644 (file)
--- a/build/build-properties.xml
+++ b/build/build-properties.xml
@@ -107,7 +107,7 @@
                <property file="${aspectj.modules.build.dir}/junit-patterns.properties"/>
                                
                <property name="aspectj.tools.modules.13"
-                       value="ajbrowser,ajde,ajdoc,asm,bridge,loadtime,org.aspectj.ajdt.core,runtime,taskdefs,util,weaver"/>
+                       value="ajbrowser,ajde,ajde.core,ajdoc,asm,bridge,loadtime,org.aspectj.ajdt.core,runtime,taskdefs,util,weaver"/>
                <property name="aspectj.tools.modules.15"
                        value="loadtime5,aspectj5rt,weaver5"/>
                <condition property="aspectj.tools.modules"