Marcus Comstedt 32fd1edc23 Revert "Java: Avoid dangerous writes via casted pointers" ... This reverts commit 865de99391. This fixes bug #688.		2015-11-02 18:37:10 +01:00
..
classes	Revert "Java: Avoid dangerous writes via casted pointers"	2015-11-02 18:37:10 +01:00
interfaces	Java: Remove obsolete SourceCallback interface	2015-10-26 07:11:20 +01:00