set preferences for the project.

#Mon Jun 06 15:29:14 CEST 2011

eclipse.preferences.version=1

tt3-plugins-path=//PROJECT_NAME//tt3plugins

ttcn3.continue_on_fail=false

ttcn3.gen_debug_code_record_init=false

ttcn3.generate_mlf=false

ttcn3.java_compile_all_at_once=true

ttcn3.source_folders=//PROJECT_NAME//ttcn3\n//PROJECT_NAME//ttcn/TraceParser\n//PROJECT_NAME//ttcn/LibCommon\n//PROJECT_NAME//ttcn

ttcn3.use_bigint=true

<?xml version="1.0" encoding="UTF-8" standalone="no"?>

<launchConfiguration type="com.testingtech.ttworkbench.ttman.launching.ttcn3">

<booleanAttribute key="org.eclipse.debug.ui.private" value="true"/>

<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="DSRC_TraceValidation"/>

</launchConfiguration>