jdeveloper 12.1.2 install for linux plus small bug fixes