Ondřej Hruška e4e7aa7eb3 Converted to Java 7, factored InstanceLock to own file.

2014-04-09 00:41:33 +02:00

..

org.eclipse.jdt.core.prefs

Converted to Java 7, factored InstanceLock to own file.

2014-04-09 00:41:33 +02:00