Identify the version of the Java Runtime Environment (JRE) being used to run CTAT. You can find this by opening CTAT's about window (Help > About), and looking for the line beginning "Using Java version:" (e.g., "1.5.0_10").

Download and install the Java Development Kit (JDK) of the same version identified in the preceding step. For example, if you identified the JRE version as 1.5.x, you'd download and install JDK version JDK 5.0.

	Important
	During the JDK installation, be sure to include the Java source for installation.

Launch CTAT for Java.

Open an existing behavior graph.

On any link in the graph, click the link's title and select Edit Student Input Matching.

Choose the Formula Match matcher.

Click the Fx button (the formula builder). The Javasrc Installer dialog appears. (If the dialog does not appear, but the Formula Builder appears, you may have already configured the Formula Builder. If nothing happens, even after a pause, there may be a mismatch between the JRE and JDK versions. Contact us for more help.)

In the Javasrc Installer dialog, click Browse to locate the directory in which you installed the JDK.

Figure 2.16. Javasrc Installer with JDK location entered

If you select a JDK, CTAT will inform you that files were copied successfully, but CTAT must be restarted.

Dismiss the success dialog and exit CTAT. If prompted to save the modified behavior graph, you can select No.

Launch CTAT for Java, and repeat steps 4-7 above to open the Formula Builder. The "Fx" button will remain depressed for at least a few seconds as CTAT builds the documentation for the Java methods.

If the Formula Builder does not open and nothing happens, you might have a mismatch between the JRE and JDK versions.

If the Javasrc Installer appears again, you may not have chosen a valid JDK.

Figure 2.17. Formula Builder on Windows XP

Identify the version of the Java Runtime Environment (JRE) being used to run CTAT. You can find this by opening CTAT's about window (Help > About), and looking for the line beginning "Using Java version:" (e.g., "1.5.0_10").

Download and install the JDK source code of the same version identified in the preceding step. For example, if you identified the JRE version as 1.5.x, you'd download JDK source code for version 5.0.

Go to http://connect.apple.com and log in (create a free account if you don't have one already). Choose the 'Downloads' link, then the 'Java' link. Download and install 'J2SE 5.0 Release 5 Developer Documentation' (assuming you're using Java 1.5). This installs src.jar, which you will need in the next step.

Extract two source files (the "String" and "Math" classes) from src.jar to the {CTAT}/javasrc directory.

To do this, open a terminal window, and cd to any directory for which you have "write" permission (e.g., your home directory). Enter the following on the command-line:

jar -xf /System/Library/Frameworks/JavaVM.framework/Home/src.jar  \
        src/java/lang/String.java src/java/lang/Math.java

This should create a directory named src in the current directory. Copy the java folder from the src directory to the {CTAT}/javasrc directory.

Launch CTAT for Java.

Open an existing behavior graph.

On any link in the graph, click the link's title and select Edit Student Input Matching.

Choose the Formula Match matcher.

Click the Fx button (the formula builder). The "Fx" button will remain depressed for at least a few seconds as CTAT builds the documentation for the Java methods. The Formula Builder, shown below, should appear after a pause.

If the Javasrc Installer dialog appears, you may not have copied the correct files in step 3.

If nothing happens, even after a pause, there may be a mismatch between the JRE and JDK versions. Contact us for more help.

Figure 2.18. Formula Builder on Mac OS X