ÿþWindows Registry Editor Version 5.00



[HKEY_CURRENT_USER\Software\Microsoft\Windows\CurrentVersion\Explorer\FileExts\.java]

"Application"="drjava-stable-20070130-2255.exe"



[HKEY_CURRENT_USER\Software\Microsoft\Windows\CurrentVersion\Explorer\FileExts\.java\OpenWithList]

"a"="NOTEPAD.EXE"

"MRUList"="ab"

"b"="drjava-stable-20070130-2255.exe"



[HKEY_CURRENT_USER\Software\Microsoft\Windows\CurrentVersion\Explorer\FileExts\.java\OpenWithProgids]

"VisualStudio.java.8.0"=hex(0):



[HKEY_CLASSES_ROOT\Applications\drjava-stable-20070130-2255.exe]



[HKEY_CLASSES_ROOT\Applications\drjava-stable-20070130-2255.exe\shell]



[HKEY_CLASSES_ROOT\Applications\drjava-stable-20070130-2255.exe\shell\open]



[HKEY_CLASSES_ROOT\Applications\drjava-stable-20070130-2255.exe\shell\open\command]

@="\"C:\\DrJava\\drjava-stable-20070130-2255.exe\" \"%1\""