<?xml version="1.0" encoding="UTF-8"?>
<!-- generator="FeedCreator 1.8" -->
<?xml-stylesheet href="https://www.cs.vassar.edu/lib/exe/css.php?s=feed" type="text/css"?>
<rdf:RDF
    xmlns="http://purl.org/rss/1.0/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel rdf:about="https://www.cs.vassar.edu/feed.php">
        <title>Computer Science | Vassar College</title>
        <description></description>
        <link>https://www.cs.vassar.edu/</link>
        <image rdf:resource="https://www.cs.vassar.edu/_media/favicon.ico" />
       <dc:date>2026-04-12T09:45:45+00:00</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="https://www.cs.vassar.edu/help/apps/drjava?rev=1440684904&amp;do=diff"/>
                <rdf:li rdf:resource="https://www.cs.vassar.edu/help/apps/jedit?rev=1440624207&amp;do=diff"/>
            </rdf:Seq>
        </items>
    </channel>
    <image rdf:about="https://www.cs.vassar.edu/_media/favicon.ico">
        <title>Computer Science | Vassar College</title>
        <link>https://www.cs.vassar.edu/</link>
        <url>https://www.cs.vassar.edu/_media/favicon.ico</url>
    </image>
    <item rdf:about="https://www.cs.vassar.edu/help/apps/drjava?rev=1440684904&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2015-08-27T14:15:04+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>drjava</title>
        <link>https://www.cs.vassar.edu/help/apps/drjava?rev=1440684904&amp;do=diff</link>
        <description>DrJava reports No Compiler Available

Problem: when staring DrJava the Compiler Options window reports “no compiler available”

To fix this you need to set the tools.jar location in the drjava preferences.  Start drjava and follow these steps:

````````````</description>
    </item>
    <item rdf:about="https://www.cs.vassar.edu/help/apps/jedit?rev=1440624207&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2015-08-26T21:23:27+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>jedit</title>
        <link>https://www.cs.vassar.edu/help/apps/jedit?rev=1440624207&amp;do=diff</link>
        <description>Jedit tip

-. End of line codes

When using jedit to edit files that will be saved on a remote linux or unix system, you may run into problems if you don't change the code jedit puts at the end of the line to indicate a return. Jedit calles this the ````````````````````````````````````````````````````````````````</description>
    </item>
</rdf:RDF>
