arduino/Arduino — pull request #99 by sgk (2012-06-16 16:18:45+00:00)
Title: Linux: Default sketchbook folder should be "Arduino".

"linux/Platform.java" doesn't provide the default sketchbook location. Is this what you intended?