#!/bin/sh
# this file is to be sourced to work with Java 1.7 (Java 7)
#
# AUTHOR: Gary T. Leavens

: ${JAVA7DIR=/usr/local/jdk1.7}
PATH="$JAVA7DIR/bin:$PATH"
export PATH

# URL for the directory containing the javadocs for the JDK on this machine
export JDKDOCDIR="file:`cygpath -ma $JAVA7DIR/docs/api`"

export JAVA5=1